scientific article; zbMATH DE number 1863165

zbMath1006.68088MaRDI QIDQ4791836

Antti Puhakka, Antti Valmari

Publication date: 3 February 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2154/21540202.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (7)

Foundations for using linear temporal logic in Event-B refinement ⋮ Keep it fair: equivalence and composition ⋮ On the limits of refinement-testing for model-checking CSP ⋮ Safe reasoning with logic LTS ⋮ Safe Reasoning with Logic LTS ⋮ A Logical Process Calculus ⋮ CCS: it's not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions

This page was built for publication: