Add to ORKGThis paper provides a systematic and full treatment of mode transfer operators in process algebra, including complete axiomatizations, operational rules, analysis of expressive power and extensions with timing features. In particular, we study a disrupt operator and an interrupt operator
A process algebra is given for specifying delay-insensitive processes. We show in two steps that exp...
Abstract: Process algebra is a theoretical framework for the modelling and analysis of the behaviour...
Process algebra is a theoretical framework for the modelling and analysis of the behaviour of concur...
This paper provides a systematic and full treatment of mode transfer operators in process algebra, i...
A mechanism is introduced to describe priorities in ACP, the algebra of communicating processes, whe...
AbstractInterruption is a useful feature in programming and specification languages. Therefore, proc...
Abstract. The paper introduces a new approach to define process algebras withquantified transitions....
This paper presents an introduction to process algebras. In the first part of the contribution we in...
This paper is the second part of an introduction to process algebras. In the first part of the contr...
The three classical process algebra CCS, CSP and ACP present several differences in their respective...
The three classical process algebra CCS, CSP and ACP present several differences in their respective...
An extension of process algebra is introduced which can be compared to (propositional) dynamic logic...
AbstractThe three classical process algebra CCS, CSP and ACP present several differences in their re...
\u3cp\u3eWe treat theory and application of timed process algebra. We focus on a variant that uses e...
Process algebra represents a mathematically rigorous framework for modeling con-current systems of i...
A process algebra is given for specifying delay-insensitive processes. We show in two steps that exp...
Abstract: Process algebra is a theoretical framework for the modelling and analysis of the behaviour...
Process algebra is a theoretical framework for the modelling and analysis of the behaviour of concur...
This paper provides a systematic and full treatment of mode transfer operators in process algebra, i...
A mechanism is introduced to describe priorities in ACP, the algebra of communicating processes, whe...
AbstractInterruption is a useful feature in programming and specification languages. Therefore, proc...
Abstract. The paper introduces a new approach to define process algebras withquantified transitions....
This paper presents an introduction to process algebras. In the first part of the contribution we in...
This paper is the second part of an introduction to process algebras. In the first part of the contr...
The three classical process algebra CCS, CSP and ACP present several differences in their respective...
The three classical process algebra CCS, CSP and ACP present several differences in their respective...
An extension of process algebra is introduced which can be compared to (propositional) dynamic logic...
AbstractThe three classical process algebra CCS, CSP and ACP present several differences in their re...
\u3cp\u3eWe treat theory and application of timed process algebra. We focus on a variant that uses e...
Process algebra represents a mathematically rigorous framework for modeling con-current systems of i...
A process algebra is given for specifying delay-insensitive processes. We show in two steps that exp...
Abstract: Process algebra is a theoretical framework for the modelling and analysis of the behaviour...
Process algebra is a theoretical framework for the modelling and analysis of the behaviour of concur...