On “Axiomatising Finite Concurrent Processes”

DOI10.1137/S0097539793243600zbMath0809.68081MaRDI QIDQ4305361

Luca Aceto

Publication date: 20 March 1995

Published in: SIAM Journal on Computing (Search for Journal in Brave)

zbMATH Keywords

equational logicconcurrent processes\(t\)-observational congruenceMilner's observational congruence

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Related Items (5)

Unnamed Item ⋮ Unnamed Item ⋮ CCS with Hennessy's merge has no finite-equational axiomatization ⋮ Discrete time generative-reactive probabilistic processes with different advancing speeds ⋮ The theory of interactive generalized semi-Markov processes

This page was built for publication: On “Axiomatising Finite Concurrent Processes”