Conferences in DBLP
Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis. [Citation Graph (, )][DBLP ] Applications of Shellable Complexes to Distributed Computing - (Invited Talk). [Citation Graph (, )][DBLP ] Concurrency and Composition in a Stochastic World. [Citation Graph (, )][DBLP ] Taming Distributed Asynchronous Systems. [Citation Graph (, )][DBLP ] Trust in Anonymity Networks. [Citation Graph (, )][DBLP ] Learning I/O Automata. [Citation Graph (, )][DBLP ] Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification. [Citation Graph (, )][DBLP ] Information Flow in Interactive Systems. [Citation Graph (, )][DBLP ] From Multi to Single Stack Automata. [Citation Graph (, )][DBLP ] A Geometric Approach to the Problem of Unique Decomposition of Processes. [Citation Graph (, )][DBLP ] A Logic for True Concurrency. [Citation Graph (, )][DBLP ] A Theory of Design-by-Contract for Distributed Multiparty Interactions. [Citation Graph (, )][DBLP ] Bisimilarity of One-Counter Processes Is PSPACE-Complete. [Citation Graph (, )][DBLP ] Nash Equilibria for Reachability Objectives in Multi-player Timed Games. [Citation Graph (, )][DBLP ] Stochastic Real-Time Games with Qualitative Timed Automata Objectives. [Citation Graph (, )][DBLP ] Session Types as Intuitionistic Linear Propositions. [Citation Graph (, )][DBLP ] Session Types for Access and Information Flow Control. [Citation Graph (, )][DBLP ] Simulation Distances. [Citation Graph (, )][DBLP ] Mean-Payoff Automaton Expressions. [Citation Graph (, )][DBLP ] Obliging Games. [Citation Graph (, )][DBLP ] Multipebble Simulations for Alternating Automata - (Extended Abstract). [Citation Graph (, )][DBLP ] Parameterized Verification of Ad Hoc Networks. [Citation Graph (, )][DBLP ] Termination in Impure Concurrent Languages. [Citation Graph (, )][DBLP ] Buffered Communication Analysis in Distributed Multiparty Sessions. [Citation Graph (, )][DBLP ] Efficient Bisimilarities from Second-Order Reaction Semantics for pi -Calculus. [Citation Graph (, )][DBLP ] On the Use of Non-deterministic Automata for Presburger Arithmetic. [Citation Graph (, )][DBLP ] Reasoning about Optimistic Concurrency Using a Program Logic for History. [Citation Graph (, )][DBLP ] Theory by Process. [Citation Graph (, )][DBLP ] On the Compositionality of Round Abstraction. [Citation Graph (, )][DBLP ] A Linear Account of Session Types in the Pi Calculus. [Citation Graph (, )][DBLP ] Generic Forward and Backward Simulations II: Probabilistic Simulation. [Citation Graph (, )][DBLP ] Kleene, Rabin, and Scott Are Available. [Citation Graph (, )][DBLP ] Reversing Higher-Order Pi. [Citation Graph (, )][DBLP ] Modal Logic over Higher Dimensional Automata. [Citation Graph (, )][DBLP ] A Communication Based Model for Games of Imperfect Information. [Citation Graph (, )][DBLP ] Flat Coalgebraic Fixed Point Logics. [Citation Graph (, )][DBLP ] Conditional Automata: A Tool for Safe Removal of Negligible Events. [Citation Graph (, )][DBLP ] Representations of Petri Net Interactions. [Citation Graph (, )][DBLP ] Communicating Transactions - (Extended Abstract). [Citation Graph (, )][DBLP ] Consistent Correlations for Parameterised Boolean Equation Systems with Applications in Correctness Proofs for Manipulations. [Citation Graph (, )][DBLP ]