Seminar: Formal Models of Concurrency

Summer Semester 2004
Lehrstuhl für Informatik II

Diplomstudiengang Informatik (Theoretische Informatik, Vertiefungsfach "Theorie der Programmierung")
Master Programme Software Systems Engineering (Theoretical CS, Specialisation Subject "Theory of Programming")

Prerequisites

• Vordiplom or Bachelor in Computer Science and
• course on Formal Models of Concurrency.

Introduction

Friday, February 6, 13:00, at the seminar room of Lehrstuhl für Informatik II.

Topics

Friday, 15:00, at the seminar room of Lehrstuhl für Informatik II.

Literature

[Rei85]

W. Reisig: Petri Nets: An Introduction, EATCS Monographs on Theoretical Computer Science, Springer Verlag, 1985

[Fok00]

W. Fokkink: Introduction to Process Algebra, Springer-Verlag, 2000, Chapters 2 and 3

[Mil90]

R. Milner: Operational and Algebraic Semantics of Concurrent Processes, Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics, 1990, 1201-1242

[BHR84]

S.D. Brookes, C.A.R. Hoare, A.W. Roscoe: A Theory of Communicating Sequential Processes, Journal of the ACM, 31:560-599, 1984

[Mil99a]

R. Milner: Communicating and Mobile Systems: the pi-calculus, Cambridge University Press, 1999, Chapter 8 and 9

[Mil99b]

R. Milner: Communicating and Mobile Systems: the pi-calculus, Cambridge University Press, 1999, Chapter 12

[GSS95]

R.J. van Glabbeck, S.A. Smolka, B. Steffen: Reactive, Generative, and Stratified Models of Probabilistic Processes, Information and Computation, 121(1):1995, 59-80

[RR88]

G.M. Reed, A.W. Roscoe: A Timed Model for Communicating Sequential Processes, Theoretical Computer Science, 58:249-261, 1988

[CH90]

R. Cleaveland, M. Hennessy: Priorities in Process Algebra, Information and Computation, 87(1/2): 58-77, 1990

[Tho89]

B. Thomsen: A Calculus of Higher-Order Communicating Systems, In Proceedings of the 16th POPL, ACM Press, 1989, 143-154

[Hog89]

D. Hogrefe: Estelle, LOTOS und SDL, Springer-Verlag, 1989

[MV90]

S. Mauw, G.J. Veltink: A Process Specification Formalism, Fundamenta Informaticae 13, 1990, 85-139

[PT00]

B.C. Pierce, D.N. Turner: Pict: A Programming Language Based on the Pi-Calculus, In Proof, Language and Interaction: Essays in Honour of Robin Milner, MIT Press, 2000

[BFG01]

S. Blom, W. Fokkink, J.F. Groote, I. van Langefelde, B. Lisser, J. van de Pol: µCRL: A Toolset for Analysing Algebraic Specifications, In CAV'01, LNCS 2102, Springer, 2001, 250-255

[BA94]

G. Bruns, S. Anderson: The Formalization and Analysis of a Communication Protocol, Formal Aspects of Computing 6, 1994, 92-112

[Mau90]

S. Mauw: Process Algebra as a Tool for the Specification and Verification of CIM Architectures, In Applications of Process Algebra, ed. J.C. Baeten, Cambridge University Press, 1990, 85-139

Resources

• How to write the manuscript (in German)
• A manuscript template (in German)
• How to give the talk (in German)
• For printed slides: seminar.sty
• For video projections: prosper.sty

Contact