Communicating sequential processes
Communicating sequential processes
Verification of an alternating bit protocol by means of process algebra
Proceedings of the International Spring School on Mathematical method of specification and synthesis of software systems '85
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Process algebra
Structured operational semantics and bisimulation as a congruence
Information and Computation
Theoretical Computer Science
A LOTOS extension for the performance analysis of distributed systems
IEEE/ACM Transactions on Networking (TON)
A compositional approach to performance modelling
A compositional approach to performance modelling
A general conservative extension theorem in process algebras with inequalities
ACP '95 Proceedings from the international workshop on Algebra of communicating processes
Theoretical Computer Science
A denotational semantics for a process-based simulation language
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Information and Computation - Special issue on EXPRESS 1997
Process algebra for performance evaluation
Theoretical Computer Science
Communication and Concurrency
Introduction to Process Algebra
Introduction to Process Algebra
Process algebra and Markov chains
Lectures on formal methods and performance analysis
The theory of interactive generalized semi-Markov processes
Theoretical Computer Science
Performance Modelling of Communication Networks and Computer Architectures (International Computer S
Performance Modelling of Communication Networks and Computer Architectures (International Computer S
The Tyft/Tyxt Format Reduces to Tree Rules
TACS '94 Proceedings of the International Conference on Theoretical Aspects of Computer Software
First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Towards Performance Evaluation with General Distributions in Process Algebras
CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
A Congruence Theorem for Structured Operational Semantics with Predicates
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
An algebraic approach to the specification of stochastic systems
PROCOMET '98 Proceedings of the IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods
Performance Evaluation with Heavy Tailed Distributions
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Integrating Behavioural and Simulation Modelling
MMB '95 Proceedings of the 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation: Quantitative Evaluation of Computing and Communication Systems
Specification and Analysis of Soft Real-Time Systems: Quantity and Quality
RTSS '99 Proceedings of the 20th IEEE Real-Time Systems Symposium
Theory and Application of Extended Markovian Process Algebra (PhD Thesis)
Theory and Application of Extended Markovian Process Algebra (PhD Thesis)
A theory of stochastic systems part I: Stochastic automata
Information and Computation
Extending Timed Process Algebra with Discrete Stochastic Time
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
A theory of stochastic systems part I: Stochastic automata
Information and Computation
SPAMR: extending PAMR with stochastic time
EPEW'07 Proceedings of the 4th European performance engineering conference on Formal methods and stochastic models for performance evaluation
Embedding real time in stochastic process algebras
EPEW'06 Proceedings of the Third European conference on Formal Methods and Stochastic Models for Performance Evaluation
Bio-PEPAd: A non-Markovian extension of Bio-PEPA
Theoretical Computer Science
Fundamenta Informaticae - Application of Concurrency to System Design
Hi-index | 0.00 |
This paper introduces (pronounce spades), a stochastic process algebra for discrete event systems, that extends traditional process algebra with timed actions whose delay is governed by general (a.o. continuous) probability distributions. The operational semantics is defined in terms of stochastic automata, a model that uses clocks-like in timed automata-to symbolically represent randomly timed systems, cf. the accompanying paper [P.R. D'Argenio, J.-P. Kateon, A theory of stochastic systems. Part I: Stochastic automata. Inf. Comput. (2005), to appear]. We show that stochastic automata and are equally expressive, and prove that the operational semantics of a term up to @a-conversion of clocks, is unique (modulo symbolic bisimulation). (Open) probabilistic and structural bisimulation are proven to be congruences for, and are equipped with an equational theory. The equational theory is shown to be complete for structural bisimulation and allows to derive an expansion law.