Prozessalgebra

7 books
Prozeßtheorie der AblaufplanungPeter Rittgen

Prozeßtheorie der Ablaufplanung

Peter Rittgen

1998No page data
Topology in Process CalculusMingsheng Ying

Topology in Process Calculus

Mingsheng Ying

2001No page data
Introduction to the formal design of real-time systemsGray, David
⏱ 7h 41m

Introduction to the formal design of real-time systems

Gray, David

1999461 pp.
Programs, proofs, processesConference on Computability in Europe (6th 2010 Ponta Delgada, Azores, Portugal)
⏱ 7h 30m

Programs, proofs, processes

Conference on Computability in Europe (6th 2010 Ponta Delgada, Azores, Portugal)

2010450 pp.
Trustworthy Global Computing 4th International Symposium Tgc 2008 Barcelona Spain November 34 2008 Revised Selected PapersChristos Kaklamanis

Trustworthy Global Computing 4th International Symposium Tgc 2008 Barcelona Spain November 34 2008 Revised Selected Papers

Christos Kaklamanis

2009No page data
Trustworthy global computingTGC 2006 (2006 Lucca, Italy)
⏱ 5h 38m

Trustworthy global computing

TGC 2006 (2006 Lucca, Italy)

2007338 pp.
Processes, terms and cyclesAart Middeldorp
⏱ 10h 39m

Processes, terms and cycles

Aart Middeldorp

2006639 pp.