scientific article; zbMATH DE number 2086418
From MaRDI portal
Publication:4736873
zbMath1054.68090MaRDI QIDQ4736873
E. P. de Vink, Jos C. M. Baeten
Publication date: 11 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2285/22850583.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (4)
Axiomatizing GSOS with termination ⋮ A syntactic commutativity format for SOS ⋮ CCS with Hennessy's merge has no finite-equational axiomatization ⋮ Automating Soundness Proofs
This page was built for publication:
