Open AccessBook
CONCUR 2010 - concurrency theory : 21st International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010 : proceedings
Paul Gastin,François Laroussinie +1 more
Reads0
Chats0
TLDR
In this article, a theory of Design-by-Contract for Distributed Multiparty Interactions for real-time games with timed automata is presented, along with a model for games of imperfect information.Abstract:
Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis.- Applications of Shellable Complexes to Distributed Computing.- Concurrency and Composition in a Stochastic World.- Taming Distributed Asynchronous Systems.- Trust in Anonymity Networks.- Learning I/O Automata.- Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification.- Information Flow in Interactive Systems.- From Multi to Single Stack Automata.- A Geometric Approach to the Problem of Unique Decomposition of Processes.- A Logic for True Concurrency.- A Theory of Design-by-Contract for Distributed Multiparty Interactions.- Bisimilarity of One-Counter Processes Is PSPACE-Complete.- Nash Equilibria for Reachability Objectives in Multi-player Timed Games.- Stochastic Real-Time Games with Qualitative Timed Automata Objectives.- Session Types as Intuitionistic Linear Propositions.- Session Types for Access and Information Flow Control.- Simulation Distances.- Mean-Payoff Automaton Expressions.- Obliging Games.- Multipebble Simulations for Alternating Automata.- Parameterized Verification of Ad Hoc Networks.- Termination in Impure Concurrent Languages.- Buffered Communication Analysis in Distributed Multiparty Sessions.- Efficient Bisimilarities from Second-Order Reaction Semantics for ?-Calculus.- On the Use of Non-deterministic Automata for Presburger Arithmetic.- Reasoning about Optimistic Concurrency Using a Program Logic for History.- Theory by Process.- On the Compositionality of Round Abstraction.- A Linear Account of Session Types in the Pi Calculus.- Generic Forward and Backward Simulations II: Probabilistic Simulation.- Kleene, Rabin, and Scott Are Available.- Reversing Higher-Order Pi.- Modal Logic over Higher Dimensional Automata.- A Communication Based Model for Games of Imperfect Information.- Flat Coalgebraic Fixed Point Logics.- Conditional Automata: A Tool for Safe Removal of Negligible Events.- Representations of Petri Net Interactions.- Communicating Transactions.- Consistent Correlations for Parameterised Boolean Equation Systems with Applications in Correctness Proofs for Manipulations.read more
Citations
More filters
Book ChapterDOI
Multiparty session types meet communicating automata
TL;DR: A generalised variant of multiparty session types that have a direct semantical correspondence to CFSMs is presented, generalising Gouda et al's work [12] (for two machines) to an arbitrary number of machines.
Book ChapterDOI
Introduction to Active Automata Learning from a Practical Perspective
TL;DR: This chapter gives an introduction to active learning of Mealy machines, an automata model particularly suited for modeling the behavior of realistic reactive systems.
Book ChapterDOI
Scribbling interactions with a formal foundation
TL;DR: The proposed methodology promotes a formally founded, and highly structured, development framework for modelling and building distributed applications, from high-level models to design and implementation to static checking to runtime validation.
Book ChapterDOI
Higher-Order processes, functions, and sessions: a monadic integration
TL;DR: This paper uniformly integrating a Curry-Howard interpretation of linear sequent calculus as session-typed processes in a functional language via a linear contextual monad that isolates session-based concurrency through a logical foundation for higher-order session typed processes.
Book ChapterDOI
A Categorical Semantics of Signal Flow Graphs
TL;DR: A sound and complete graphical theory of vector subspaces over the field of polynomial fractions, with relational composition, constructed in modular fashion, using Lack's approach to composing PROPs with distributive laws.
Related Papers (5)
CONCUR 2014 - concurrency theory : 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014 : proceedings
Paolo Baldan,Daniele Gorla +1 more
Back to the future: towards a theory of timed regular languages
Rajeev Alur,Thomas A. Henzinger +1 more