| Invited Talks Model Checking for Nominal Calculi Mathematical Models of Computational and Combinatorial Structures Rule Formats and Bisimulation Congruence for Structural Congruences Probabilistic Congruence for Semistochastic Generative Processes Bisimulation on Speed: A Unified Approach Probabilistic Models Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications Axiomatizations for Probabilistic Finite-State Behaviors Stochastic Transition Systems for Continuous State Spaces and Non-determinism Model Checking Durational Probabilistic Systems Algebraic Models Free-Algebra Models for the π-Calculus A Unifying Model of Variables and Names A Category of Higher-Dimensional Automata Games and Automata Third-Order Idealized Algol with Iteration Is Decidable Fault Diagnosis Using Timed Automata Optimal Conditional Reachability for Multi-priced Timed Automata Alternating Timed Automata Language Analysis Full Abstraction for Polymorphic Pi-Calculus Foundations of Web Transactions Bridging Language-Based and Process Calculi Security History-Based Access Control with Local Policies Partial Order Models Composition and Decomposition in True-Concurrency …… Logics Coalgebraic Modal Logics Computational Models Author Index |
内容加载中，请稍后...
商品评论（0条）