scientific article; zbMATH DE number 1953026

zbMath1022.68588MaRDI QIDQ4414384

C. R. Ramakrishnan, Scott A. Smolka, Ping Yang

Publication date: 25 July 2003

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

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)

Related Items

A semantic framework for open processes, A process calculus for mobile ad hoc networks, A static analysis of cryptographic processes: the denotational approach, MMC