Sciweavers

FCT
1995
Springer
14 years 2 months 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
14 years 2 months 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
14 years 2 months 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
14 years 2 months ago
Discrete Time Process Algebra with Abstraction
Jos C. M. Baeten, Jan A. Bergstra
FCT
1995
Springer
14 years 2 months ago
Processes with Multiple Entries and Exits
Jan A. Bergstra, Gheorghe Stefanescu