R. De Nicola (denicola)
Beiträge zu Philosophie.ch
No contributions yet
Bibliography
Degano, P., De Nicola, R. and Montanari, Ugo. 1989. “Partial Orderings Descriptions and Observations of Nondeterministic Concurrent Processes.” 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. 438–466. Lecture Notes in Computer Science n. 354. Berlin: Springer.