Seminar on Concurrency: Carnegie-Mellon University...

Main
Computers - Computer Science
Seminar on Concurrency: Carnegie-Mellon...

Seminar on Concurrency: Carnegie-Mellon University Pittsburgh, PA, July 9–11, 1984

Stephen D. Brookes (auth.), Stephen D. Brookes, Andrew William Roscoe, Glynn Winskel (eds.)

0 / 0

Колко ви харесва тази книга?

Какво е качеството на файла?

Изтеглете книгата за оценка на качеството

Какво е качеството на изтеглените файлове?

Категории:

Computers - Computer Science

Година:

1985

Издание:

1

Издателство:

Springer-Verlag Berlin Heidelberg

Език:

english

Страници:

526

ISBN 10:

3540395938

ISBN 13:

9783540395935

Серия:

Lecture Notes in Computer Science 197

Файл:

PDF, 16.63 MB

IPFS:

,

english, 1985

Изтеглянето на тази книга не е възможно поради жалба от притежателя на авторските права

Beware of he who would deny you access to information, for in his heart he dreams himself your master

— Pravin Lal

Може да се интересувате от

Winskel G. — Topics in concurrency: lecture notes

Brookes S.D. — A Model for Communicating Sequential Processes [PhD Thesis]

Rocco De Nicola — A gentle introduction to Process Algebras

Krzysztof R. Apt, Ernst-Rüdiger Olderog (auth.), Dexter Kozen (eds.) — Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

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

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

Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers — Concurrency Verification: Introduction to Compositional and Non-compositional Methods

James Pascoe — Communicating Process Architectures 2002 (Concurrent Systems Engineering Series, 60)

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

Cliff B. Jones, Jayadev Misra — Theories of Programming: The Life and Works of Tony Hoare

Cliff B Jones, Jayadev Misra, (eds.) — Theories of Programming: The Life and Works of Tony Hoare

P. H. Welch, J. Kerridge, F. R. M. Barnes — Communicating Process Architectures 2006: Volume 64 Concurrent Systems Engineering Series (Concurrent Systems Engineering)

A. A. Mcewan — Communicating Process Architectures 2007: WoTUG-30

C. B. Jones, A. W. Roscoe (auth.), A.W. Roscoe, Cliff B. Jones, Kenneth R. Wood (eds.) — Reflections on the Work of C.A.R. Hoare

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

Krzysztof R. Apt, Ernst-Rüdiger Olderog (auth.), Dexter Kozen (eds.) — Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

B. T. Denvir, W. T. Harwood, M. I. Jackson, M. J. Wray (eds.) — The Analysis of Concurrent Systems: Cambridge, September 12–16, 1983 Proceedings

W. Brauer, W. Reisig, G. Rozenberg (eds.) — Petri Nets: Applications and Relationships to Other Models of Concurrency: Advances in Petri Nets 1986, Part II Proceedings of an Advanced Course Bad Honnef, 8.–19. September 1986

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

Marco Baldassari, Giorgio Bruno (auth.), Grzegorz Rozenberg (eds.) — Advances in Petri Nets 1988

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

Gérard Boudol (auth.), Eike Best (eds.) — CONCUR'93: 4th Intrenational Conference on Concurrency Theory Hildesheim, Germany, August 23–26, 1993 Proceedings

Albert Benveniste, Paul Caspi (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.) — A Decade of Concurrency Reflections and Perspectives: REX School/Symposium Noordwijkerhout, The Netherlands June 1–4, 1993 Proceedings