Logo eprints

Items where Year is 1983

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Date | Item Type | No Grouping
Jump to: D
Number of items: 2.


De Nicola, Rocco A Complete Set of Axioms for a Theory of Communicating Sequential Processes. In: Foundations of Computation Theory. Lecture Notes in Computer Science, 158 . Springer, pp. 115-126. ISBN 3-540-12689-9 (1983)

De Nicola, Rocco and Hennessy, Matthew Testing Equivalence for Processes. In: Automata, Languages and Programming (ICALP 1983). Lecture Notes in Computer Science, 154 . Springer, pp. 548-560. ISBN 3-540-12317-2 (1983)

This list was generated on Sat Jul 13 00:01:07 2024 CEST.