Concurrency Theory at LICS 2005
6 April 2005
I already mentioned in a previous posting,
one of the papers in concurrency theory that have been accepted for
LICS 2005. However, that paper by Jos Baeten and Flavio
Corradini is fortunately not the only accepted submission for LICS
2005 from that field!
Other concurrency related papers that will be presented at LICS are:
- Patrice Godefroid and Michael Huth. Model Checking Vs. Generalized Model
Checking: Semantic Minimizations for Temporal Logics
- Giuseppe Castagna, Rocco De Nicola and Daniele Varacca. Semantic Subtyping
for the PI-calculus
- Pawel Sobocinski and Vladimiro Sassone. Reactive systems over cospans
- Richard Mayr, Parosh Abdulla and Noomene Ben Henda. Verifying Infinite
Markov Chains with a Finite Attractor or the Global Coarseness Property
- Kohei Honda, Martin Berger and Nobuko Yoshida. An Observationally Complete
Logic for Imperative Higher-Order Functions
- Glynn Winskel. Name Generation and Linearity
- Javier Esparza, Antonin Kucera and Richard Mayr. Quantitative Analysis of
Probabilistic Pushdown Automata: Expectations and Variances
- Joel Ouaknine and James Worrell. On the Decidability of Metric Temporal
Logic
- Bruno Blanchet, Martin Abadi and Cedric Fournet. Automated Verification of
Selected Equivalences for Security Protocols
- Krishnendu Chatterjee, Thomas A. Henzinger and Marcin
Jurdzinski. Mean-Payoff Parity Games
- Christel Baier and Marcus Groesser. Recognizing omega-regular languages
with probabilistic automata
Congratulations to all of these colleagues for their success!
BRICS WWW home page
Luca Aceto,
Department of
Computer Science,
Aalborg University.
Last modified:
Wednesday, 06-Apr-2005 16:17:08 CEST.