Composing snippets

DOI10.1007/3-540-36190-1_1MaRDI QIDQ4417596zbMATH OpenFDO

Authors Igor Benko, Jo C. Ebergen

Publication date 29 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

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)

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

This page was built for publication: Composing snippets

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