|
|
(3 intermediate revisions by 3 users not shown) |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: PIPER / rank |
| | Normal rank |
| Property / MaRDI profile type |
| | |
| Property / MaRDI profile type: MaRDI publication profile / rank |
| | Normal rank |
| Property / full work available at URL |
| | |
| Property / full work available at URL: https://doi.org/10.1016/j.ic.2011.12.005 / rank |
| | Normal rank |
| Property / OpenAlex ID |
| | |
| Property / OpenAlex ID: W1990799174 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Spatial and behavioral types in the pi-calculus / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: On the consistency of Koomen's fair abstraction rule / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: The lambda calculus, its syntax and semantics / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Algebra of communicating processes with abstraction / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: CONCUR '93. 4th international conference on concurrency theory, Hildesheim, Germany, August 23--26, 1993. Proceedings / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4370350 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: The \(\pi\)-calculus in direct style / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4355677 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Logical Semantics of Types for Concurrency / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Conversation types / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Types as models / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q3142557 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Bisimulation equivalence is decidable for all context-free processes / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Formal methods for open object-based distributed systems. FMOODS, IFIP TC6/ WG6. 1 3rd international conference, Florence, Italy, February 15--18, 1999 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4255591 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Algebraic laws for nondeterminism and concurrency / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4346206 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4222868 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: A generic type system for the pi-calculus / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4536437 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4536623 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Results on the propositional \(\mu\)-calculus / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q2852014 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Process rewrite systems. / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q3992568 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: A complete axiomatisation for observational congruence of finite-state behaviours / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: A calculus of mobile processes. II / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Infinite results / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4018066 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4942014 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4251124 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4222938 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q5691098 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q2778806 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q3837262 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Strong types for coordinating active objects / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: State inference for dynamically changing interfaces / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4329009 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4778708 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4536621 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: An algebra of behavioural types / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Bisimilarity of open terms. / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: An interpretation of typed objects into typed \(\pi\)-calculus / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4941915 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: The type and effect discipline / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: A shorter proof to uniqueness of solutions of equations / rank |
| | Normal rank |