A behavioural theory of first-order CML

Authors:
William Ferreira;Matthew Hennessy
Affiliations:
Univ. of Sussex, Brighton, UK;Univ. of Sussex, Brighton, UK
Venue:
Theoretical Computer Science
Year:
1999

Citing 0
Cited 3

Notions of bisimulation and congruence formats for SOS with data

Information and Computation
A model of cooperative threads

Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Notions of bisimulation and congruence formats for SOS with data

Information and Computation

Quantified Score

Hi-index	5.23

Visualization

Abstract