Extensionality and intensionality of the ambient logics
- 1 January 2001
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 36 (3) , 4-13
- https://doi.org/10.1145/360204.375707
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Anytime, anywherePublished by Association for Computing Machinery (ACM) ,2000
- Controlling interference in ambientsPublished by Association for Computing Machinery (ACM) ,2000
- Types for mobile ambientsPublished by Association for Computing Machinery (ACM) ,1999
- On bisimulations for the asynchronous π-calculusTheoretical Computer Science, 1998
- Mobile ambientsPublished by Springer Nature ,1998
- Proving Congruence of Bisimulation in Functional Programming LanguagesInformation and Computation, 1996
- The chemical abstract machineTheoretical Computer Science, 1992
- Barbed bisimulationPublished by Springer Nature ,1992
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- Testing equivalences for processesTheoretical Computer Science, 1984