942 search results - page 15 / 189 » Process Algebraic Non-product-forms |
CONCUR
1994
Springer
14 years 3 months ago
1994
Springer
Abstract. In this paper we study a special operator for sequential composition, which is de ned relative to a dependency relation over the actions of a given system. The idea is th...
IPL
2007
13 years 10 months ago
2007
There are two popular approaches to specifying the semantics of process algebras: labelled transition semantics and reaction semantics. While the notion of free name is rather unp...
TSP
2008
13 years 10 months ago
2008
This paper introduces a general and axiomatic approach to linear signal processing (SP) that we refer to as the algebraic signal processing theory (ASP). Basic to ASP is the linear...
JLP
2008
13 years 9 months ago
2008
Coordination languages were introduced in the early 80's as programming notations to manage the interaction among concurrent collaborating software entities. Process algebras...
ICCL
1998
IEEE
14 years 3 months ago
1998
IEEE
We describe Triveni, a framework and API for integrating threads and events. The design of Triveni is based on an algebra, including preemption combinators, of processes. Triveni ...