Вы здесь

Главная

алгебра процессов

Связанные издания:

A Complete Axiomatic Semantics for the CSP Stable-Failures Model
A Complete Axiomatization of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification
Algebraic Informatics: Proc./Third International Conference, CAI 2009, Thessaloniki, Grees, May 2009
Algebraic Methodology and Software Technology: Proc./11th International Conference, AMAST 2006. Kuressaare, Estonia, July 2006
Analytical and Stochastic Modelling Techniques and Applications: Proc./22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 2015
Analytocal and Stochastic Modelling Techniques and Applications: Proc./23rd International Conference, ASMTA 2016, Cardiff, UK, August 2016
A notation of congruence for dtsPBC
Bisimulation on Speed: A Unified Approach
Communicating Sequential Processes: The First 25 Years: Revised Invited Papers/Symposium on the Occasion of 25 Years of CSP. London, UK, July 2004
Composition and Decomposition in True-Concurrency
CONCUR 2010 - Concurrency Theory: Proc./21st International Conference, CONCUR 2010, Paris, France, August/September 2010
Correct System Design: Proc./Symposium in Honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 2015
Decision problems for pushdown threads
Discrete time stochastic Petri box calculus
Discrete time stochastic Petri box calculus with immediate multiactions
Equivalence relations for behaviour-preserving reduction and modular performance evaluation in dtsPBC
Equivalences for modular performance analysis in dtsPBC
Expressiveness of Timed Events and Timed Languages
Formal Methods and Software Engineering: Proc./11th International Conference, ICFEM 2009, Rio de Janeiro, Brazil, December 2009
Formal Methods and Software Engineering: Proc./12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 2010
Formal Methods and Stochastic Models for Performance Evaluation: Proc./4th European Performance Engineering Workshop, EPEW 2007. Berlin, Germany, September 2007
Formal Methods and Stochastic Models for Performance Evaluation: Proc./Third European Performance Engineering Workshop, EPEW 2005. Budapest, Hungary, June 2006
Formal Methods for Computationad Biology: Advanced Lectures/8th Intl School on FM for the Design of Computer, Communication & Software Systems, SFM 2008. Bertinoro, Italy , June 2008
Formal Methods for Open Object-Based Distributed Systems: Proc./7th IFIP WG 6.1 International Conference, FMOODS 2005. Athens, Greece, June 2005
Formal Methods for Performance Evaluation: Advanced Lectures/7th International Summer School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007. Bertinoro, Italy, May/June 2007
Formal Methods for the Design of Real-Time Systems: Revised Lectures/International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004. Bertintoro, Italy, September 2004
Formal Modeling and Analysis of Timed Systems: Proc./8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 2010
Formal Techniques for Distributed Systems: Proc./Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 2010
Fundamentals of Software Engineering: Revised Selected Papers/3rd IPM International Conference, FSEN 2009, Kish Island, Iran, April 2009
Investigating equivalence relations in dtsPBC
Iteration in discrete time stochastic Petri box calculus
Mathematics of Program Construction: Proc./10th International Conference, MPC 2010, Quebec City, Canada, June 2010
On Cool Congruence Formats for Week Bisimulations (Extended Abstract)
Performance evaluation of the generalized shared memory system in dtsPBC
Performance preserving equivalences for dtsPBC
Processes, Terms, and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday
Programming Languages and Systems: Proc./19th European Symposium ESOP 2010, Joint European Conferences ETAPS 2010, Paphos, Cyprus, March 2010
Quantitative Evaluation of Systems: Proc./12th International Conference, QEST 2015, Madrid, Spain, September 2015
Relational and Algebraic Methods in Computer Science: Proc./12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May/June 2011
Reliable Software Technologies - Ada-Europe 2009: Proc./14th Ada-Europe International Conference, Brest, France, June 2009
Reliable Software Technologies - Ada-Eurupe 2010: Proc./15th Ada-Europe International Conference, Valencia, Spain, June 2010
Reversible Computation: Proc./10th International Conference, RC 2018, Leicester, UK, September 2018
Reversible Computation: Revised Papers/3rd International Workshop, RC 2011, Gent, Belgium, July 2011
Theoretical Aspects of Computing - ITAC 2005: Proc./Second International Colloquium. Hanoi, Vietnam, October 2005
Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Theory and Practice of Model Transformations: Proc./Third International Conference, ICMT 2010, Malaga, Spain, June 2010
Timed Process Algebra (With a Focus on Explicit Termination and Relative Timing)
Transactions on Computational Systems Biology XIII
Transactions on Petri Nets and Other Models of Concurrency I
Trustworthy Software Development Processes: Proc./International Conference on Software Process, ICSP 2009, Vancouver, Canada, May 2009