- Introduction The General Setting
- Under consideration for publication in Math. Struct. in Comp. Science and ANNA INGOLFSDOTTIR
- Deriving Complete Inference Systems for a Class of GSOS Languages Generating Regular Behaviours
- Computer Scientist The 21st Century Renaissance Man
- THE CONCURRENCY COLUMN BRICS, Department of Computer Science
- What is Theoretical Computer Science? (Preliminary Version)
- To appear in EPTCS. Modelling and Simulation of Asynchronous Real-Time
- Curriculum Vitae et Studiorum Marco Bernardo
- Sigma Algebras in Probabilistic Epistemic Dynamics School of Computer Science
- The Concurrency Column BRICS, Department of Computer Science
- Curriculum Vitae of Naoki Kobayashi (as of July 14, 2004)
- Termination, Deadlock, and Divergence L. ACETO AND M. HENNESSY
- TEMPORAL LOGICS FOR GAMES Franois Laroussinie
- Under consideration for publication in Math. Struct. in Comp. Science Characteristic Formulae for Fixed-Point
- The Journal of Logic and Algebraic Programming 78 (2008) 52 Contents lists available at ScienceDirect
- The Concurrency Column BRICS, Department of Computer Science
- MODELLING & VERIFICATION 2008 Exercise 1*
- A Cancellation Theorem for BCCSP Luca Aceto1
- Axiomatizing GSOS with Predicates Luca Aceto1
- Introduction The Present (as I see it)
- Decompositional Reasoning about the History of Parallel Processes
- THE CONCURRENCY COLUMN BRICS, Department of Computer Science
- THE CONCURRENCY COLUMN BRICS, Department of Computer Science
- MODELLING & VERIFICATION 2008 Tutorial 1 -Solutions
- On the xiomatizability of Priority II Luca Acetoa,1
- PREG Axiomatizer A Ground Bisimilarity Checker for GSOS with Predicates
- Rule Formats for Distributivity Luca Aceto1
- Axiomatizing Weak Simulation Semantics Luca Aceto1,3, David de Frutos Escrig2,3, Carlos
- Relating modal refinements, covariant-contravariant simulations and partial
- SOS Rule Formats for Zero and Unit Elements$ Luca Acetoa,
- Resource bisimilarity and graded bisimilarity coincide$ , Anna Ingolfsdottir, Joshua Sack
- Rule Formats for Determinism and Idempotence$ Luca Acetoa
- On Rule Formats for Zero and Unit Elements Luca Aceto1
- A Rule Format for Unit Elements Luca Aceto1
- This is a preliminary version of a paper that will appear in Electronic Proceedings
- Teaching Concurrency: Theory in Practice Luca Aceto1
- THE CONCURRENCY COLUMN BRICS, Department of Computer Science
- Proposal of Creating Working Group 1.8 Concurrency Theory
- Curriculum Vitae Roberto M. AMADIO
- Curriculum Vitae ROCCO DE NICOLA
- Holger Hermanns Holger Hermanns studied at the University of Bordeaux I, France, and at the
- Curriculum Vitae et Studiorum Cosimo Laneve
- Modelling and Verification 2008 Take-Home Celebratory Exam
- MODELLING & VERIFICATION 2008 Exercise 1*
- THE CONCURRENCY COLUMN BRICS, Department of Computer Science
- Curriculum Vitae Nobuko YOSHIDA
- This is a preliminary version of a paper that will appear in Electronic Proceedings
- This is a preliminary version of a paper that will appear in Electronic Proceedings
- THE CONCURRENCY COLUMN School of Computer Science, Reykjavik University
- The General Setting The Technical Content, Alas
- Eugene W. Stark Address: Dept. of Computer Science, SUNY at Stony Brook,
- THE CONCURRENCY COLUMN BRICS, Department of Computer Science
- Curriculum Vitae Prof. Dr. Walter Vogler
- THE CONCURRENCY COLUMN BRICS, Department of Computer Science
- THE CONCURRENCY COLUMN BRICS, Department of Computer Science
- MODELLING & VERIFICATION 2008 Starred exercises are those that I strongly recommend you try and solve, but you should try to work out
- Under consideration for publication in Math. Struct. in Comp. Science Proving the validity of equations in GSOS
- The Algorithmics of Bisimilarity Anna Ingolfsdottir
- Curriculum Vitae Kohei Honda
- THE CONCURRENCY COLUMN BRICS, Department of Computer Science
- THE CONCURRENCY COLUMN BRICS, Department of Computer Science
- Anna Labella Curriculum
- THE CONCURRENCY COLUMN BRICS, Department of Computer Science
- Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet$
- Curriculum Vitae (J.F. Groote) Born in Doetinchem, the Netherlands (Apr 13, 1965).
- Submitted to: EXPRESS 2011
- The Equational Theory of Weak Complete Simulation Semantics over BCCSP
- Axiomatizing Weak Ready Simulation Semantics over BCCSP
- Submitted to: c L. Aceto, G. Caltais, E.-I. Goriac, A. Ingolfsdottir
- ASSERTIONAL AND BEHAVIORAL APPROACHES TO CONCURRENCY
- Interval Temporal Logics: a Journey Dario Della Monica
- On the specification of modal systems: a comparison of three frameworks6
- Unveiling the Ivory Tower: The academic's art of work