scientific article; zbMATH DE number 1956488

zbMATH Open1032.68110MaRDI QIDQ4417832FDOQ4417832

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (4)

• Formal verification of safety protocol in train control system
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)