Processes, Systems & Tests: Defining Contextual Equivalences
- 2 October 2021
- journal article
- Published by Open Publishing Association in Electronic Proceedings in Theoretical Computer Science
- Vol. 347, 1-21
- https://doi.org/10.4204/eptcs.347.1
Abstract
No abstract availableThis publication has 67 references indexed in Scilit:
- Contextual modal type theoryACM Transactions on Computational Logic, 2008
- Behavioral theory for mobile ambientsJournal of the ACM, 2005
- Equational properties of mobile ambientsMathematical Structures in Computer Science, 2003
- A typed context calculusTheoretical Computer Science, 2001
- Models for concurrency: towards a classificationTheoretical Computer Science, 1996
- On reduction-based process semanticsTheoretical Computer Science, 1995
- Elements of interactionCommunications of the ACM, 1993
- Fully abstract models for a process language with refinementLecture Notes in Computer Science, 1989
- Testing equivalences for processesTheoretical Computer Science, 1984
- Letters to the editor: go to statement considered harmfulCommunications of the ACM, 1968