Trace and testing equivalence on asynchronous processes
Information and Computation
Models for Name-Passing Processes: Interleaving and Causal
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Models for name-passing processes: interleaving and causal
Information and Computation
A relational model of non-deterministic dataflow
Mathematical Structures in Computer Science
A fully abstract may testing semantics for concurrent objects
Theoretical Computer Science
On the Asynchronous Nature of the Asynchronous Π-Calculus
Concurrency, Graphs and Models
On Synchronous and Asynchronous Interaction in Distributed Systems
MFCS '08 Proceedings of the 33rd international symposium on Mathematical Foundations of Computer Science
Symmetric and Asymmetric Asynchronous Interaction
Electronic Notes in Theoretical Computer Science (ENTCS)
Concurrency can't be observed, asynchronously
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
Application of stuck-free conformance to service-role composition
SAM'06 Proceedings of the 5th international conference on System Analysis and Modeling: language Profiles
Specifying stateful asynchronous properties for distributed programs
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Hi-index | 0.00 |