scientific article; zbMATH DE number 3903948
From MaRDI portal
Publication:3681913
Recommendations
Cited in
(24)- About fair asynchrony
- On the consistency of Koomen's fair abstraction rule
- Sémantique asynchrone et comportements infinis en CPS
- Language of asynchronous functional circuits and its operational semantics
- Strong fairness and full abstraction for communicating processes
- On the complexity of verifying concurrent transition systems
- Polarized process algebra with reactive composition
- scientific article; zbMATH DE number 3856435 (Why is no real title available?)
- Synchronous and asynchronous experiments on processes
- Fully abstract semantics for a coordination model with asynchronous communication and enhanced matching
- scientific article; zbMATH DE number 4149528 (Why is no real title available?)
- scientific article; zbMATH DE number 3900141 (Why is no real title available?)
- scientific article; zbMATH DE number 3926216 (Why is no real title available?)
- scientific article; zbMATH DE number 3928334 (Why is no real title available?)
- scientific article; zbMATH DE number 3938554 (Why is no real title available?)
- scientific article; zbMATH DE number 4037178 (Why is no real title available?)
- Readies and Failures in the Algebra of Communicating Processes
- scientific article; zbMATH DE number 1231450 (Why is no real title available?)
- scientific article; zbMATH DE number 1330452 (Why is no real title available?)
- scientific article; zbMATH DE number 1361126 (Why is no real title available?)
- scientific article; zbMATH DE number 1927580 (Why is no real title available?)
- Une critique de la notion de test de processus fondée sur la non séparabilité de certaines classes de langages
- scientific article; zbMATH DE number 4119610 (Why is no real title available?)
- A model of concurrency with fair merge and full recursion
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3681913)
