scientific article; zbMATH DE number 1927575

MaRDI QIDQ4484500zbMATH OpenFDO

Authors Gerald Lüttgen, Michael Mendler

Publication date 12 June 2003

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

Mathematics Subject Classification ID

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

Recommendations

• Constructive semantics for instantaneous reactions
• What is in a step: new perspectives on a classical question
• An axiomatic semantics for Esterel
• Unifying operational semantics with algebraic semantics for instantaneous reactions
• A compositional axiomatization of statecharts

Cited in

(9)

• A denotational theory of synchronous reactive systems
• What is in a step: new perspectives on a classical question
• Stepwise refinement and concurrency: The finite-state case
• Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
• Constructive semantics for instantaneous reactions
• scientific article; zbMATH DE number 1701363 (Why is no real title available?)
• Step semantics for ``true concurrency with recursion
• A formal library of set relations and its application to synchronous languages
• Unifying operational semantics with algebraic semantics for instantaneous reactions

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