scientific article; zbMATH DE number 1956488

MaRDI QIDQ4417832zbMATH OpenFDO

Authors Yan Jin, Robert Esser, Charles A. Lakos, Jörn W. Janneck

Publication date 30 July 2003

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

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2090575
• Static analysis of run-time modes in Kahn process networks
• scientific article; zbMATH DE number 2112452
• scientific article; zbMATH DE number 5051646
• Static analysis of run-time modes in synchronous process network

Cited in

(4)

• Formal verification of safety protocol in train control system
• scientific article; zbMATH DE number 2090575 (Why is no real title available?)
• scientific article; zbMATH DE number 1759408 (Why is no real title available?)
• Data flow analysis of distributed communicating processes

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4417832)