Conferences in DBLP
Albert Benveniste , Stefan Haar , Eric Fabre , Claude Jard Distributed Monitoring of Concurrent and Asynchronous Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Alin Stefanescu , Javier Esparza , Anca Muscholl Synthesis of Distributed Algorithms Using Asynchronous Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Rajeev Alur , Swarat Chaudhuri , Kousha Etessami , Sudipto Guha , Mihalis Yannakakis Compression of Partially Ordered Strings. [Citation Graph (0, 0)][DBLP ] Conf ] Rob J. van Glabbeek , Frits W. Vaandrager Bundle Event Structures and CCSP. [Citation Graph (0, 0)][DBLP ] Conf ] Bartek Klin , Pawel Sobocinski Syntactic Formats for Free. [Citation Graph (0, 0)][DBLP ] Conf ] Irek Ulidowski Priority Rewrite Systems for OSOS Process Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Luca de Alfaro Quantitative Verification and Control via the Mu-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Rajeev Alur , Salvatore La Torre , P. Madhusudan Playing Games with Boxes and Diamonds. [Citation Graph (0, 0)][DBLP ] Conf ] Luca de Alfaro , Marco Faella , Thomas A. Henzinger , Rupak Majumdar , Mariëlle Stoelinga The Element of Surprise in Timed Games. [Citation Graph (0, 0)][DBLP ] Conf ] Petr Jancar , Antonín Kucera , Faron Moller Deciding Bisimilarity between BPA and BPP Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Ahmed Bouajjani , Peter Habermehl , Tomás Vojnar Verification of Parametric Concurrent Systems with Prioritized FIFO Resource Management. [Citation Graph (0, 0)][DBLP ] Conf ] Nancy A. Lynch Input/Output Automata: Basic, Timed, Hybrid, Probabilistic, Dynamic, ... [Citation Graph (0, 0)][DBLP ] Conf ] Eugene W. Stark , Rance Cleaveland , Scott A. Smolka A Process-Algebraic Language for Probabilistic I/O Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Nancy A. Lynch , Roberto Segala , Frits W. Vaandrager Compositionality for Probabilistic Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Gastin , Dietrich Kuske Satisfiability and Model Checking for MSO-definable Temporal Logics are in PSPACE. [Citation Graph (0, 0)][DBLP ] Conf ] Zdenek Sawa Equivalence Checking of Non-Flat Systems Is EXPTIME-hard. [Citation Graph (0, 0)][DBLP ] Conf ] Nicolas Markey , Ph. Schnoebelen Model Checking a Path. [Citation Graph (0, 0)][DBLP ] Conf ] Arie Gurfinkel , Marsha Chechik Multi-Valued Model Checking via Classical Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Naoya Nitta , Hiroyuki Seki An Extension of Pushdown System and Its Model Checking Method. [Citation Graph (0, 0)][DBLP ] Conf ] Madhavan Mukund , K. Narayan Kumar , P. S. Thiagarajan Netcharts: Bridging the gap between HMSCs and executable specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Blaise Genest , Loïc Hélouët , Anca Muscholl High-Level Message Sequence Charts and Projections. [Citation Graph (0, 0)][DBLP ] Conf ] Paulo Mateus , John C. Mitchell , Andre Scedrov Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Backes Unifying Simulatability Definitions in Cryptographic Systems under Different Timing Assumptions. [Citation Graph (0, 0)][DBLP ] Conf ] Rohit Chadha , John C. Mitchell , Andre Scedrov , Vitaly Shmatikov Contract Signing, Optimism, and Advantage. [Citation Graph (0, 0)][DBLP ] Conf ] Mikkel Nygaard , Glynn Winskel Full Abstraction for HOPLA. [Citation Graph (0, 0)][DBLP ] Conf ] Uwe Nestmann , Rachele Fuzzati , Massimo Merro Modeling Consensus in a Process Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Philippa Gardner , Cosimo Laneve , Lucian Wischik Linear Forwarders. [Citation Graph (0, 0)][DBLP ] Conf ] Nina Amla , E. Allen Emerson , Kedar S. Namjoshi , Richard J. Trefler Abstract Patterns of Compositional Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Flavio Corradini , Maria Rita Di Berardini , Walter Vogler Relating Fairness and Timing in Process Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Barry Norton , Gerald Lüttgen , Michael Mendler A Compositional Semantic Theory for Synchronous Component-based Design. [Citation Graph (0, 0)][DBLP ] Conf ] Vincent Danos , Josee Desharnais , Prakash Panangaden Conditional Expectation and the Approximation of Labelled Markov Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Christel Baier , Holger Hermanns , Joost-Pieter Katoen , Verena Wolf Comparative Branching-Time Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Alessandra Di Pierro , Chris Hankin , Herbert Wiklicky Quantitative Relations and Approximate Process Equivalences. [Citation Graph (0, 0)][DBLP ] Conf ] 