Sciweavers

87
Voted
FCT
1995
Springer
15 years 14 days ago
Axiomatizing Petri Net Concatenable Processes
The concatenable processes of a Petri net N can be characterized ly as the arrows of a symmetric monoidal category P[N]. Yet, this is only a partial axiomatization, since P[N] is b...
Vladimiro Sassone
FCT
1995
Springer
15 years 14 days ago
On the Synchronization of Semi-Traces
The synchronization of two or more semi-traces describes the possible evaluation of a concurrent system, which consists of two or more concurrent subsystems in a modular way, where...
Klaus Reinhardt
FCT
1995
Springer
15 years 14 days ago
Fast Algorithms for Maintaining Shortest Paths in Outerplanar and Planar Digraphs
Abstract. We present algorithms for maintaining shortest path information in dynamic outerplanar digraphs with sublogarithmic query time. By choosing appropriate parameters we achi...
Hristo Djidjev, Grammati E. Pantziou, Christos D. ...
FCT
1995
Springer
15 years 14 days ago
Discrete Time Process Algebra with Abstraction
Jos C. M. Baeten, Jan A. Bergstra
FCT
1995
Springer
15 years 14 days ago
Processes with Multiple Entries and Exits
Jan A. Bergstra, Gheorghe Stefanescu