scientific article; zbMATH DE number 1955904

zbMATH Open1029.68003MaRDI QIDQ4417596FDOQ4417596

Authors: Igor Benko, Jo C. Ebergen 

Publication date: 29 July 2003

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

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

Recommendations

• Composition: a fresh look at an old topic
• scientific article; zbMATH DE number 3903940
• Nets, Terms and Formulas
• Abstract patterns of compositional reasoning.
• The concurrent assignment representation of synchronous systems

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

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 Q4417596)