While different algebraic structures have been proposed for the treatment of concurrency, finding solutions for equations over these structures needs to be worked on further. This article is a survey of process algebra from a very narrow viewpoint, that of finite automata and regular languages. What have automata theorists learnt from process algebra about finite state concurrency? The title is stolen from [31]. There is a recent survey article [7] on finite state processes which deals extensively with rational expressions. The aim of the present article is different. How do standard notions such as Petri nets, Mazurkiewicz trace languages and Zielonka automata fare in the world of process algebra? This article has no original results, and ...
. This paper extends automata-theoretic techniques to unbounded parallel behaviour, as seen for inst...
AbstractNondeterminism is a direct outcome of interactions and is, therefore a central ingredient fo...
AbstractA new formulation for elementary net processes and their sequential composition (concatenati...
AbstractThis paper illustrates how early ideas and simple naive concepts of concurrency theory of th...
We develop a (co)algebraic framework to study a family of process calculi with monadic branching str...
Van Glabbeek (1990) presented the linear time-branching time spectrum of behavioral equivalences for...
AbstractWe survey three applications that use finite automata to specify behaviors of concurrent pro...
The theory of automata and formal language was devised in the 1930s to provide models for and to rea...
In [7], an algebra for timed automata has been introduced. In this article, we introduce a syntactic...
Wright, Thatcher and Mezei have built on the observation of B\:uchi that finite automata may be cons...
Abst rac t. In [7], an algebra for timed automata has been introduced. In this article, we introduce...
AbstractWe show that three fixed point structures equipped with (sequential) composition, a sum oper...
This thesis is concerned with the algebraic theory of finite state processes. The processes we focus...
Abstract. Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equiva...
Abstract. We investigate the descriptive succinctness of three fundamental notions for modeling conc...
. This paper extends automata-theoretic techniques to unbounded parallel behaviour, as seen for inst...
AbstractNondeterminism is a direct outcome of interactions and is, therefore a central ingredient fo...
AbstractA new formulation for elementary net processes and their sequential composition (concatenati...
AbstractThis paper illustrates how early ideas and simple naive concepts of concurrency theory of th...
We develop a (co)algebraic framework to study a family of process calculi with monadic branching str...
Van Glabbeek (1990) presented the linear time-branching time spectrum of behavioral equivalences for...
AbstractWe survey three applications that use finite automata to specify behaviors of concurrent pro...
The theory of automata and formal language was devised in the 1930s to provide models for and to rea...
In [7], an algebra for timed automata has been introduced. In this article, we introduce a syntactic...
Wright, Thatcher and Mezei have built on the observation of B\:uchi that finite automata may be cons...
Abst rac t. In [7], an algebra for timed automata has been introduced. In this article, we introduce...
AbstractWe show that three fixed point structures equipped with (sequential) composition, a sum oper...
This thesis is concerned with the algebraic theory of finite state processes. The processes we focus...
Abstract. Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equiva...
Abstract. We investigate the descriptive succinctness of three fundamental notions for modeling conc...
. This paper extends automata-theoretic techniques to unbounded parallel behaviour, as seen for inst...
AbstractNondeterminism is a direct outcome of interactions and is, therefore a central ingredient fo...
AbstractA new formulation for elementary net processes and their sequential composition (concatenati...