113
Voted
FCT
15 years 4 months ago
1995 Springer 
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...
104
Voted
FCT
15 years 4 months ago
1995 Springer 
Abstract. We present algorithms for maintaining shortest path information in dynamic outerplanar digraphs with sublogarithmic query time. By choosing appropriate parameters we achi...
FCT
15 years 4 months ago
1995 Springer 
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...
85
Voted
FCT
15 years 4 months ago
1995 Springer  76
Voted
FCT
15 years 4 months ago
1995 Springer  |
Applied Computing