Work

Some Congruence Properties for π-calculus Bisimilarities

Type: article
Authors: Michele Boreale, Michele Boreale, Davide Sangiorgi, Davide Sangiorgi, Projet Meije
Language: English
Subfield: Software
Open Access status: closed
OpenAlex ID: W7097154747
Cites:
Cited by:
Related to: 9