Paper Info
Title
How to Specify Non-Determinism and True Concurrency with Algebraic Term Nets
Abstract
The objective of this paper is twofold. First we modify and extend the definition of Algebraic Term Nets [2] in order to make them concurrent objects. Then we give them an interpretation in terms of rewrite logic. The proposed logic acts as an axiomatisation allowing us to study the behavior of Algebraic Term Nets by deduction in such a logic. Moreover we present and discuss a general approach allowing us to write the axioms in such a way that our nets are executed coherently and with a maximum of true concurrency.
Year
DOI
Venue
1991
10.1007/3-540-56379-2_39
COMPASS/ADT
Keywords
Field
DocType
rewrite logic.,true concurrency,algebraic term nets,high-level petri nets,and phrases. abstract data types,specify non-determinism,rewriting logic,abstract data type
Abstract data type,Programming language,Petri net,Algebraic number,Determinism,Concurrency,Axiom,Computer science,Stochastic Petri net
Conference
Volume
ISSN
ISBN
655
0302-9743
3-540-56379-2
Citations 
PageRank 
References 
20
1.06
9
Authors
2
Name
Order
Citations
PageRank
Mohamed Bettaz16611.13
Mourad Maouche2435.93