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

Kanonische Ableitungssequenzen im Single-Pushout-Ansatz für Graphtransformation von Dingel, Jürgen

Model driven engineering languages and systems 17th international conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014 ; proceedings

Weitere Verfasser: “… Dingel, Jürgen …”
Inhaltstext

Model-driven engineering languages and systems 17th international conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014 ; proceedings

Weitere Verfasser: “… Dingel, Jürgen …”
DE-634
DE-M347
DE-92
DE-859
DE-861
DE-91
DE-384
DE-473
DE-703
DE-20
DE-706
DE-29
DE-739
Volltext
Inhaltsverzeichnis
Abstract