Abstract is missing.
- An Exercise in Mathematical Engineering: Stating and Proving Kuratowski TheoremJean-Raymond Abrial. 3-27 [doi]
- Location Privacy via Geo-IndistinguishabilityKonstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati. 28-38 [doi]
- A Note on Monitors and Büchi AutomataVolker Diekert, Anca Muscholl, Igor Walukiewicz. 39-57 [doi]
- Formal Methods in Air Traffic Management: The Case of Unmanned Aircraft Systems (Invited Lecture)César A. Muñoz. 58-62 [doi]
- The Proof Technique of Unique Solutions of ContractionsDavide Sangiorgi. 63-68 [doi]
- On Probabilistic Distributed StrategiesGlynn Winskel. 69-88 [doi]
- Newton Series, CoinductivelyHenning Basold, Helle Hvid Hansen, Jean-Éric Pin, Jan Rutten. 91-109 [doi]
- Quotienting the Delay Monad by Weak BisimilarityJames Chapman, Tarmo Uustalu, Niccolò Veltri. 110-125 [doi]
- Inverse Monoids of Higher-Dimensional StringsDavid Janin. 126-143 [doi]
- A Functorial Bridge Between the Infinitary Affine Lambda-Calculus and Linear LogicDamiano Mazza, Luc Pellissier. 144-161 [doi]
- Learning Register Automata with Fresh Value GenerationFides Aarts, Paul Fiterau-Brostean, Harco Kuppens, Frits W. Vaandrager. 165-183 [doi]
- Modeling Product Lines with Kripke Structures and Modal LogicZinovy Diskin, Aliakbar Safilian, Tom Maibaum, Shoham Ben-David. 184-202 [doi]
- Deterministic Regular Expressions with InterleavingFeifei Peng, Haiming Chen, Xiaoying Mou. 203-220 [doi]
- Rigid Families for CCS and the π-calculusIoana Domnina Cristescu, Jean Krivine, Daniele Varacca. 223-240 [doi]
- Quotients of Unbounded ParallelismNils Erik Flick. 241-257 [doi]
- Higher-Order Dynamics in Event StructuresDavid S. Karcher, Uwe Nestmann. 258-271 [doi]
- Asynchronous Announcements in a Public ChannelSophia Knight, Bastien Maubert, François Schwarzentruber. 272-289 [doi]
- A Totally Distributed Fair Scheduler for Population Protocols by Randomized HandshakesNesrine Ouled Abdallah, Mohamed Jmaiel, Mohamed Mosbah, Akka Zemmari. 290-306 [doi]
- Extending the Notion of Preferred Explanations for Quantified Constraint Satisfaction ProblemsDeepak Mehta, Barry O'Sullivan, Luis Quesada. 309-327 [doi]
- A Graphical Theorem of the Alternative for UTVPI ConstraintsK. Subramani, Piotr J. Wojciechowski. 328-345 [doi]
- Converging from Branching to Linear Metrics on Markov ChainsGiorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare. 349-367 [doi]
- MSO Logic and the Partial Order Semantics of Place/Transition-NetsMateus de Oliveira Oliveira. 368-387 [doi]
- A Resource Aware Computational Interpretation for Herbelin's SyntaxDelia Kesner, Daniel Ventura. 388-403 [doi]
- Undecidability Results for Multi-Lane Spatial LogicHeinrich Ody. 404-421 [doi]
- Aspect-Oriented Development of Trustworthy Component-based SystemsJosé Dihego, Augusto Sampaio. 425-444 [doi]
- A Game of Attribute Decomposition for Software Architecture DesignJiamou Liu, Ziheng Wei. 445-463 [doi]
- Multi-rate System Design Through Integrating Synchronous ComponentsKe Sun. 464-482 [doi]
- Verifying Android's Permission ModelGustavo Betarte, Juan Diego Campo, Carlos Daniel Luna, Agustín Romano. 485-504 [doi]
- CSP and Kripke StructuresAna Cavalcanti, Wen-ling Huang, Jan Peleska, Jim Woodcock. 505-523 [doi]
- Specifying and Analyzing the Kademlia Protocol in MaudeIsabel Pita, Adrián Riesco. 524-541 [doi]
- Enforcement of (Timed) Properties with Uncontrollable EventsMatthieu Renard, Yliès Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jéron, Hervé Marchand. 542-560 [doi]
- A Tool Prototype for Model-Based Testing of Cyber-Physical SystemsArend Aerts, Mohammad Reza Mousavi, Michel A. Reniers. 563-572 [doi]
- CAAL: Concurrency Workbench, Aalborg EditionJesper Rank Andersen, Nicklas Andersen, Søren Enevoldsen, Mathias M. Hansen, Kim G. Larsen, Simon R. Olesen, Jirí Srba, Jacob K. Wortmann. 573-582 [doi]
- A Tool for the Automated Verification of Nash Equilibria in Concurrent GamesAlexis Toumi, Julian Gutierrez, Michael Wooldridge. 583-594 [doi]
- A Mathematical Game Semantics of Concurrency and NondeterminismJulian Gutierrez. 597-607 [doi]
- First Steps Towards Cumulative Inductive Types in CICAmin Timany, Bart Jacobs 0002. 608-617 [doi]