scientific article; zbMATH DE number 5222376

zbMath1128.68070MaRDI QIDQ5431924

Marta Kwiatkowska, Xu Wang

Publication date: 2 January 2008

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

zbMATH Keywords

process algebraasynchronous circuitsassume/guarantee verificationCSP/FDR2progress/liveness

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)

Related Items (2)

Using transition systems to describe and predict the behaviour of structured excitable media ⋮ Chemical reaction network designs for asynchronous logic circuits

Uses Software

• FDR2

This page was built for publication: