Вы здесь

Главная

след

Связанные издания:

A Filter-Mechanism for Method-Driven Trace Capture
Linking Theories of Concurrency
Mazurkiewicz Traces Semantics for Communicating Sequential Processes
On the sinchronization of semi-traces
RATCHET: Real-time Address Trace Compression Hardware for Extended Traces
Safety and Liveness Properties for Real Traces and a Direct Translation from LTL to Monoids
Traces (A Cut at the "Make Isn t Generic" Problem)