
Conferences in DBLP
 Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto
Model Checking for Nominal Calculi. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2005, pp:124 [Conf]
 Marcelo P. Fiore
Mathematical Models of Computational and Combinatorial Structures. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2005, pp:2546 [Conf]
 Mohammad Reza Mousavi, Michel A. Reniers
Congruence for Structural Congruences. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2005, pp:4762 [Conf]
 Ruggero Lanotte, Simone Tini
Probabilistic Congruence for Semistochastic Generative Processes. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2005, pp:6378 [Conf]
 Gerald Lüttgen, Walter Vogler
Bisimulation on Speed: A Unified Approach. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2005, pp:7994 [Conf]
 Samy Abbes, Albert Benveniste
Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2005, pp:95109 [Conf]
 Yuxin Deng, Catuscia Palamidessi
Axiomatizations for Probabilistic FiniteState Behaviors. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2005, pp:110124 [Conf]
 Stefano Cattani, Roberto Segala, Marta Z. Kwiatkowska, Gethin Norman
Stochastic Transition Systems for Continuous State Spaces and Nondeterminism. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2005, pp:125139 [Conf]
 François Laroussinie, Jeremy Sproston
Model Checking Durational Probabilistic Systems. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2005, pp:140154 [Conf]
 Ian Stark
FreeAlgebra Models for the piCalculus. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2005, pp:155169 [Conf]
 Marino Miculan, Kidane Yemane
A Unifying Model of Variables and Names. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2005, pp:170186 [Conf]
 Ulrich Fahrenberg
A Category of HigherDimensional Automata. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2005, pp:187201 [Conf]
 Andrzej S. Murawski, Igor Walukiewicz
ThirdOrder Idealized Algol with Iteration Is Decidable. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2005, pp:202218 [Conf]
 Patricia Bouyer, Fabrice Chevalier, Deepak D'Souza
Fault Diagnosis Using Timed Automata. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2005, pp:219233 [Conf]
 Kim Guldstrand Larsen, Jacob Illum Rasmussen
Optimal Conditional Reachability for Multipriced Timed Automata. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2005, pp:234249 [Conf]
 Slawomir Lasota, Igor Walukiewicz
Alternating Timed Automata. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2005, pp:250265 [Conf]
 Alan Jeffrey, Julian Rathke
Full Abstraction for Polymorphic PiCalculus. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2005, pp:266281 [Conf]
 Cosimo Laneve, Gianluigi Zavattaro
Foundations of Web Transactions. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2005, pp:282298 [Conf]
 Riccardo Focardi, Sabina Rossi, Andrei Sabelfeld
Bridging LanguageBased and Process Calculi Security. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2005, pp:299315 [Conf]
 Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari
HistoryBased Access Control with Local Policies. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2005, pp:316332 [Conf]
 Sibylle B. Fröschle
Composition and Decomposition in TrueConcurrency. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2005, pp:333347 [Conf]
 Mark Schäfer, Walter Vogler
Component Refinement and CSC Solving for STG Decomposition. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2005, pp:348363 [Conf]
 Yves Bontemps, PierreYves Schobbens
The Complexity of Live Sequence Charts. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2005, pp:364378 [Conf]
 James Cheney
A Simpler Proof Theory for Nominal Logic. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2005, pp:379394 [Conf]
 Cristiano Calcagno, Philippa Gardner, Matthew Hague
From Separation Logic to FirstOrder Logic. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2005, pp:395409 [Conf]
 Healfdene Goguen
Justifying Algorithms for betaetaConversion. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2005, pp:410424 [Conf]
 Marius Bozga, Radu Iosif
On Decidability Within the Arithmetic of Addition and Divisibility. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2005, pp:425439 [Conf]
 Lutz Schröder
Expressivity of Coalgebraic Modal Logic: The Limits and Beyond. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2005, pp:440454 [Conf]
 Marcello M. Bonsangue, Alexander Kurz
Duality for Logics of Transition Systems. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2005, pp:455469 [Conf]
 Lukasz Kaiser
Confluence of Right Ground Term Rewriting Systems Is Decidable. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2005, pp:470489 [Conf]
 Klaus Aehlig, Jolie G. de Miranda, C.H. Luke Ong
Safety Is not a Restriction at Level 2 for String Languages. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2005, pp:490504 [Conf]
 Abbas Edalat, André Lieutier, Dirk Pattinson
A Computational Model for Multivariable Differential Calculus. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2005, pp:505519 [Conf]
