LFCS
1997
Springer
13 years 9 months ago
1997
Springer
The paper is devoted to the investigation of behavioural equivalences of concurrent systems modelled by Petri nets. Back-forth bisimulation equivalences known from the literature a...
LFCS
1997
Springer
13 years 9 months ago
1997
Springer
The provability problem for the Horn fragment of linear logic is NP-complete [4, 1]. In this work we investigate various definitions of concurrency proposed in [2] and establish t...
LFCS
1997
Springer
13 years 9 months ago
1997
Springer
LFCS
1997
Springer
13 years 9 months ago
1997
Springer
