Tomeki

Explore Books on
prozessalgebra

1-7 of 7 Books

View Introduction to the formal design of real-time systems By Gray, David
Cover of Introduction to the formal design of real-time systems by gray, david

Introduction to the formal design of real-time systems

By Gray, David

View Topology in Process Calculus By Mingsheng Ying
Cover of Topology in Process Calculus by mingsheng ying

Topology in Process Calculus

By Mingsheng Ying

View Prozeßtheorie der Ablaufplanung By Peter Rittgen
Cover of Prozeßtheorie der Ablaufplanung by peter rittgen

Prozeßtheorie der Ablaufplanung

By Peter Rittgen

View Programs, proofs, processes By Conference on Computability in Europe (6th 2010 Ponta Delgada, Azores, Portugal)
Cover of Programs, proofs, processes by conference on computability in europe (6th 2010 ponta delgada, azores, portugal)

Programs, proofs, processes

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

View Processes, terms and cycles By Aart Middeldorp,Vincent van Oostrom
Cover of Processes, terms and cycles by aart middeldorp,vincent van oostrom

Processes, terms and cycles

By Aart Middeldorp,Vincent van Oostrom

View Trustworthy Global Computing 4th International Symposium Tgc 2008 Barcelona Spain November 34 2008 Revised Selected Papers By Christos Kaklamanis
Cover of Trustworthy Global Computing 4th International Symposium Tgc 2008 Barcelona Spain November 34 2008 Revised Selected Papers by christos kaklamanis

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

By Christos Kaklamanis

View Trustworthy global computing By TGC 2006 (2006 Lucca, Italy)
Cover of Trustworthy global computing by tgc 2006 (2006 lucca, italy)

Trustworthy global computing

By TGC 2006 (2006 Lucca, Italy)