Semantics and logic of higher-ordner processes characterizing late context bisimulation von Baldamus, Michael

Semantics and logic of higher order processes: characterizing late context bisimulation von Baldamus, Michael

Congruence proofs for weak bisimulation equivalences on higher order process calculi von Baldamus, Michael, Frauenstein, Thomas

A non-well-founded sets semantics for observation congruence over full CCS von Baldamus, Michael

New concepts for amalgamation and extension in the framework of specification logics von Ehrig, Hartmut 1944-2016, Baldamus, Michael, Orejas, Fernando

Inhaltsverzeichnis

Congruence proofs for weak bisimulation on higher order processes results for typed omega-order calculi von Frauenstein, Thomas, Baldamus, Michael, Glas, Rainer

Modal characterization of weak bisimulation for higher order processes von Baldamus, Michael, Dingel, Jürgen

Semantics and logic of higher order processes: characterizing late context bisimulation von Baldamus, Michael

Semantics and logic of higher order processes characterizing late context bisimulation von Baldamus, Michael

Tau less CCS with a remote procedure call primitive von Baldamus, Michael