Results 231 to 240 of about 17,836 (258)

Process Algebras for Network Communication

Fundamenta Informaticae, 2001
Critical issues that arise when process algebras are used for protocol specifications are discussed. To overcome some of these problems, a process algebra for protocol specifications is presented. It is based on Milner's Calculus of Communicating Systems, which is enriched by time and network reasoning.
Damas P. Gruska, Andrea Maggiolo-Schettini   +1 more
openaire   +4 more sources

Timing and causality in process algebra

Acta Informatica, 1996
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Aceto, Luca, Murphy, D.
openaire   +3 more sources

Linear Process Algebra

2011
A linear process is a system of events and states related by an inner product, on which are defined the behaviorally motivated operations of tensor product or orthocurrence, sum or concurrence, sequence, and choice. Linear process algebra or LPA is the theory of this framework.
openaire   +1 more source

Parallel Processing in Boolean Algebra

IEEE Transactions on Computers, 1972
A processor called Boolean analyzer has been presented at the 1968 IFIP Congress to introduce parallel processing of Boolean expressions [1]. The present paper shows how to increase its speed many times by making its processing more parallel. The applications of the Boolean analyzer are limited to few but important problems.
openaire   +1 more source

Exception Handling in Process Algebra

1993
Abstract in ...
Boer, de, F.S., Coenen, J.A.A., Gerth, R.T.   +2 more
openaire   +2 more sources

Process Algebra with Nonstandard Timing

Fundamenta Informaticae, 2002
The possibility of two or more actions to be performed consecutively at the same point in time is not excluded in the process algebras from the framework of process algebras with timing presented by Baeten and Middelburg [Handbook of Process Algebra, Elsevier, 2001, Chapter 10].
openaire   +3 more sources

Parallel Processing of Algebraic Expressions

IEEE Transactions on Electronic Computers, 1966
A classification of the objectives and types of parallel processing gives the context of the prinicipal subjects of this paper. A compiler and machine organization which are capable of detecting opportunities for parallel processing in algebraic expressions and executing these by multiple processing units operating concurrently are described.
openaire   +2 more sources

A process algebra based on Linda

1996
The problem of comparing and analyzing the relationships between distributed programs written in the same concurrent programming language is addressed. It arises each time one wants to establish program correctness with respect to a notion of “being an approximation of”.
De Nicola, Rocco, PUGLIESE, ROSARIO
openaire   +2 more sources

Process Algebra

1990
Baeten, J.C.M., Weijland, W.P.
openaire   +2 more sources

Process Algebra

2007
J.C.M. Baeten (Jos), D.A. van Beek, J.E. Rooda (Jacobus)   +2 more
openaire   +3 more sources