default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDActa Informatica, Volume 52
Volume 52, Number 1, February 2015
- Ernst-Rüdiger Olderog:
Letter from the Managing Editor. 1-2 - Rob J. van Glabbeek, Ursula Goltz, Ernst-Rüdiger Olderog:
Special issue on "Combining Compositionality and Concurrency": part 1. 3-4 - Roberto Bruni, Ugo Montanari, Matteo Sammartino
:
Revisiting causality, coalgebraically. 5-33 - Eike Best, Raymond Devillers:
Synthesis and reengineering of persistent systems. 35-60 - Marco Bernardo, Rocco De Nicola, Michele Loreti:
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. 61-106
Volume 52, Numbers 2-3, April 2015
- Gerald Lüttgen, Flavio Corradini:
Special issue on "Comprehending asynchrony in specification and analysis" dedicated to Walter Vogler on the occasion of his 60th birthday. 107-108 - Han-Hing Dang, Bernhard Möller:
Modal algebra and Petri nets. 109-132 - Eike Best, Raymond Devillers:
State space axioms for T-systems. 133-152 - Jörg Desel, Görkem Kilinç:
Observable liveness of Petri nets. 153-174 - Rob J. van Glabbeek, Peter Höfner:
CCS: It's not fair! - Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions. 175-205 - Antti Valmari:
On constructibility and unconstructibility of LTS operators from other LTS operators. 207-234 - Rolf Hennicker, Alexander Knapp:
Moving from interface theories to assembly theories. 235-268 - Nikola Benes, Jan Kretínský, Kim G. Larsen, Mikael H. Møller, Salomon Sickert, Jirí Srba:
Refinement checking on parametric modal transition systems. 269-297
Volume 52, Numbers 4-5, June 2015
- Manfred Broy:
A life dedicated to informatics: an obituary for Prof. Friedrich L. Bauer. 299-301 - Rob J. van Glabbeek, Ursula Goltz, Ernst-Rüdiger Olderog:
Special issue on "Combining Compositionality and Concurrency": part 2. 303-304 - Gerald Lüttgen, Walter Vogler, Sascha Fendrich:
Richer interface automata with optimistic and pessimistic compatibility. 305-336 - Hubert Garavel, Frédéric Lang, Radu Mateescu:
Compositional verification of asynchronous concurrent systems using CADP. 337-392 - Joaquín Aguado, Michael Mendler, Reinhard von Hanxleden, Insa Fuhrmann:
Denotational fixed-point semantics for constructive scheduling of synchronous concurrency. 393-442 - Joachim Klein, Christel Baier, Sascha Klüppelholz:
Compositional construction of most general controllers. 443-482
Volume 52, Number 6, September 2015
- Chen-Ming Fan, Jen-Tse Wang, Cheng-Chih Huang:
Some properties of involution binary relations. 483-495 - Frank Drewes, Berthold Hoffmann:
Contextual hyperedge replacement. 497-524 - Alejandro Sánchez, César Sánchez:
Parametrized invariance for infinite state processes. 525-557
Volume 52, Numbers 7-8, November 2015
- Joost Engelfriet:
Two-way pebble transducers for partial functions and their composition. 559-571 - Antonio Bernini, Stefano Bilotta, Renzo Pinzani, Ahmad Sabri, Vincent Vajnovszki:
Gray code orders for q-ary words avoiding a given factor. 573-592 - Friedrich Otto, Frantisek Mráz:
Deterministic ordered restarting automata for picture languages. 593-623
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-18 22:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
