6 search results - page 1 / 2 » lfcs 1997 |
LFCS
1997
Springer
13 years 9 months ago
1997
Springer
LFCS
1997
Springer
13 years 9 months ago
1997
Springer
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...
LICS
1997
IEEE
13 years 9 months ago
1997
IEEE
traction for Functional Languages with Control James Laird LFCS, Department of Computer Science University of Edinburgh This paper considers the consequences of relaxing the brack...