Experimenting with process equivalence

Authors:
Bard Bloom;Albert R. Meyer
Affiliations:
Cornell Univ., Ithaca, NY;MIT Laboratory for Computer Science, Cambridge, MA
Venue:
Theoretical Computer Science - Selected papers of the International BCS-FACS Workshop on Semantics for Concurrency, Leicester, UK, July 1990
Year:
1992

Structured operational semantics as a specification language

POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Bisimulation can't be traced

Journal of the ACM (JACM)
Testing Labelled Markov Processes

ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
Domain theory, testing and simulation for labelled Markov processes

Theoretical Computer Science - Foundations of software science and computation structures
Branching vs. linear time: semantical perspective

ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis

Hi-index	0.00