Results 271 to 280 of about 29,356 (295)
Some of the next articles are maybe not open access.
Timing and causality in process algebra
Acta Informatica, 1996zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Aceto, Luca, Murphy, D.
openaire +3 more sources
Parallel Processing in Boolean Algebra
IEEE Transactions on Computers, 1972A 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
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
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
Exception Handling in Process Algebra
1993Abstract in ...
Boer, de, F.S. +2 more
openaire +2 more sources
Parallel Processing of Algebraic Expressions
IEEE Transactions on Electronic Computers, 1966A 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
Process algebra with four-valued logic
Journal of Applied Non-Classical Logics, 2000Jan A Bergstra, Alban Ponse
exaly