G. Boudol (boudol)

Contributions à Philosophie.ch

Bibliography

Boudol, G. and Castellani, I. 1989. “Permutation of Transitions: An Event Structure Semantics for CCS and SCCS.” in Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, edited by J. W. de Bakker, W. P. de Roever, and Grzegorz Rozenberg, pp. 411–427. Lecture Notes in Computer Science n. 354. Berlin: Springer.