Volume 37, Issue 11-12 | Acta Informatica

Search all Acta Informatica articles

Volume 37, Issue 11-12

August 2001

Filter by

Volume:

Sort by

Date published:

New to old Old to new

4 articles in this issue

Recursion and Petri nets
Eike Best
Raymond Devillers
Maciej Koutny
Original articles Pages: 781 - 829
Labelled transition logic: an outline
E. Astesiano
G. Reggio
Original articles Pages: 831 - 879
A Markov modulated multi-server queue with negative customers – The MM CPP/GE/c/L G-queue
Ram Chakka
Peter G. Harrison
Original articles Pages: 881 - 919
Acknowledgement to Referees
Pages: 921 - 922