True Concurrency in Models of Asynchronous Circuit Behavior
Formal Methods in System Design
Parameterized Structured Operational Semantics
Fundamenta Informaticae
Atomicity And Concurrency Control In Process Calculi
Fundamenta Informaticae
Hi-index | 0.00 |