scientific article

zbMath1270.68218MaRDI QIDQ2842868

Friedger Müffke

Publication date: 16 August 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S157106610480522X

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)

Uses Software

• FDR2

Cites Work

• The algebra of timed processes, ATP: Theory and application
• Unnamed Item
• Unnamed Item

This page was built for publication: