Introduction to concurrency theory transition systems and CCS von Gorrieri, Roberto, Versari, Cristian

Verification of systems and circuits using LOTOS, Petri Nets, and CCS

FRO01
TUM01
Volltext

Introduction to Concurrency Theory Transition Systems and CCS von Gorrieri, Roberto, Versari, Cristian

Volltext

Finite representations of CCS and TCSP programs by automata and Petri nets von Taubner, Dirk

Über die Darstellung von CCS-Programmen durch Petrinetze von Goltz, Ursula

Verification of systems and circuits using LOTOS, Petri Nets, and CCS von Yoeli, Michael 1917-

A formal framework for the design and specification of neural networks von Dranidis, Dimitris 1968-

Distributed systems analysis with CCS von Bruns, Glenn

Finite representations of CCS and TCSP programs by automata and Petri nets von Taubner, Dirk

Volltext

Verification of systems and circuits using LOTOS, Petri nets, and CCS von Yoeli, Michael, Kol, Rakefet

Verification of systems and circuits using LOTOS, Petri Nets, and CCS von Yoeli, Michael

FAW01
FAW02
Volltext

Verification of systems and circuits using LOTOS, Petri Nets, and CCS von Yoeli, Michael 1917-

Verification of systems and circuits using LOTOS, Petri Nets, and CCS von Yoeli, Michael 1917-

On the mechanized validation of infinite-state and parameterized reactive and mobile systems von Röckl, Christine 1972-

Volltext
Volltext

On the mechanized validation of infinite state and parameterized reactive and mobile systems von Röckl, Christine 1972-

Transitionssystem- und Baum-Semantiken für CCS von Baier, Christine

Über die Darstellung von CCS-Programmen durch Petrinetze von Goltz, Ursula

Über die Darstellung von CCS-Programmen durch Petrinetze von Goltz, Ursula

Über die Darstellung von CCS-Programmen durch Petrinetze von Goltz, Ursula