AbstractTo describe significant properties of concurrent processes a formal algebra is defined whose terms are interpreted, in transition systems, as effectively computable functions of power algebras of sets of states and transitions. We study the expressive power of this formal system and compare it with temporal logics
Process algebras are one of the main tools for modeling and analyzing concurrent systems. However, t...
We propose a process algebra obtained by extending a combination of the process algebra with contin...
Process algebra is a device for analysing sequential processes, and has been studied in Amsterdam si...
AbstractTo describe significant properties of concurrent processes a formal algebra is defined whose...
This thesis is about mathematical structures and techniques related to formal specification and veri...
Algebraic Theory of Processes provides the first general and systematic introduction to the semantic...
Process algebras are generally recognized as a convenient tool for describing concurrent systems at ...
Process algebra is a theoretical framework for the modelling and analysis of the behaviour of concur...
We describe an algebraic specification of an abstract syntax for the construction of sequential tra...
When verifying concurrent systems described by transition systems, state explosion is one of the mos...
Abstract. We present a novel algorithm for the automatic construc-tion of modal transition systems a...
Abstract: Process algebra is a theoretical framework for the modelling and analysis of the behaviour...
An extension of process algebra is introduced which can be compared to (propositional) dynamic logic...
AbstractConcurrent transition systems (CTS's), are ordinary nondeterministic transition systems that...
Preface We examine modal and temporal logics for processes. In section 1 we introduce concurrent pro...
Process algebras are one of the main tools for modeling and analyzing concurrent systems. However, t...
We propose a process algebra obtained by extending a combination of the process algebra with contin...
Process algebra is a device for analysing sequential processes, and has been studied in Amsterdam si...
AbstractTo describe significant properties of concurrent processes a formal algebra is defined whose...
This thesis is about mathematical structures and techniques related to formal specification and veri...
Algebraic Theory of Processes provides the first general and systematic introduction to the semantic...
Process algebras are generally recognized as a convenient tool for describing concurrent systems at ...
Process algebra is a theoretical framework for the modelling and analysis of the behaviour of concur...
We describe an algebraic specification of an abstract syntax for the construction of sequential tra...
When verifying concurrent systems described by transition systems, state explosion is one of the mos...
Abstract. We present a novel algorithm for the automatic construc-tion of modal transition systems a...
Abstract: Process algebra is a theoretical framework for the modelling and analysis of the behaviour...
An extension of process algebra is introduced which can be compared to (propositional) dynamic logic...
AbstractConcurrent transition systems (CTS's), are ordinary nondeterministic transition systems that...
Preface We examine modal and temporal logics for processes. In section 1 we introduce concurrent pro...
Process algebras are one of the main tools for modeling and analyzing concurrent systems. However, t...
We propose a process algebra obtained by extending a combination of the process algebra with contin...
Process algebra is a device for analysing sequential processes, and has been studied in Amsterdam si...
DOI
Add to ORKG