寄付 2024年9月15日 – 2024年10月1日募金について

A Model for Communicating Sequential Processes [PhD Thesis]

Main
A Model for Communicating Sequential...

A Model for Communicating Sequential Processes [PhD Thesis]

Brookes S.D.

0 / 0

この本はいかがでしたか？

ファイルの質はいかがですか？

質を評価するには、本をダウンロードしてください。

ダウンロードしたファイルの質はいかがでしたか？

年:

1983

出版社:

Oxford University Press

言語:

english

ページ:

188

ファイル:

DJVU, 976 KB

IPFS:

,

english, 1983

オンラインで読む

への変換進行中。

への変換が失敗しました。

こちらはいかがでしょうか？

Jim Davies — Specification and proof in real-time CSP

Winskel G. — Topics in concurrency: lecture notes

Howard Bowman & Rodolfo Gomez — Concurrency Theory

Howard Bowman, Rodolfo Gomez — Concurrency Theory: Calculi and Automata for Modelling Untimed and Timed Concurrent Systems

Samson Abramsky (auth.), Josep Diaz (eds.) — Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July 18–22, 1983

Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.) — Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

Eike Best (auth.), Grzegorz Rozenberg (eds.) — Advances in Petri Nets 1992

Schneider, Steve — Concurrent and real time systems: the CSP approach

A. W. Roscoe — The theory and practice of concurrency

G. M. Reed, A. W. Roscoe, R. F. Wachter — Topology and Category Theory in Computer Science

Edsger W. Dijkstra (auth.), Manfred Broy (eds.) — Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

Jean-Yves Girard (auth.), Bengt Jonsson, Joachim Parrow (eds.) — CONCUR '94: Concurrency Theory: 5th International Conference Uppsala, Sweden, August 22–25, 1994 Proceedings

Steve Schneider — Concurrent and Real-time Systems: The CSP Approach

Marta Zofia Kwiatkowska BSc, MSc, PhD, Michael William Shields BA, PhD, Richard Monro Thomas MA, MSc, DPhil (auth.) — Semantics for Concurrency: Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23–25 July 1990, University of Leicester, UK

Howard Bowman, Rodolfo Gomez — Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems

Howard Bowman, Rodolfo Gomez — Concurrency Theory: Calculi and Automata for Modelling Untimed and Timed Concurrent Systems

Broy, Manfred (ed.) — Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh — Formal Methods for Software Engineering: Languages, Methods, Application Domains

David Naumann (eds.) — Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers

John Derrick, Eerke Boiten — Refinement. Semantics, Languages and Applications

Stephen Brookes (auth.), Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders (eds.) — Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.) — Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

Eike Best (auth.), J. C. M. Baeten, J. W. Klop (eds.) — CONCUR '90 Theories of Concurrency: Unification and Extension: Amsterdam, The Netherlands, August 27–30, 1990 Proceedings

Eike Best (auth.), Grzegorz Rozenberg (eds.) — Advances in Petri Nets 1992

Robin Milner (auth.), W.R. Cleaveland (eds.) — CONCUR '92: Third International Conference on Concurrency Theory Stony Brook, NY, USA, August 24–27, 1992 Proceedings

Unknown — Concur 99 Concurrency Theory 10 1664 1999 3540664254 584s

Samson Abramsky (auth.), M. Main, A. Melton, M. Mislove, D. Schmidt (eds.) — Mathematical Foundations of Programming Semantics: 5th International Conference Tulane University, New Orleans, Louisiana, USA March 29–April 1, 1989 Proceedings

主要なフレーズ