@inproceedings{4120fd1dfe864dec8725fec8e33e5724,

title = "Normal process representatives",

abstract = "The relevance of a form of cut elimination theorem for linear logic tensor theories to the concept of a process on a Petri net is discussed. The discussion is based on two definitions of processes given by E. Best and R. Devillers (1987). Their notions of process correspond to equivalence relations on linear logic proofs. It is noted that the cut reduced proofs form a process under the finer of these definitions. Using a strongly normalizing rewrite system and a weak Church-Rosser theorem, it is shown that each class of the coarser process definition contains exactly one of these finer classes which can therefore be viewed as a canonical or normal process representative. The relevance of these rewrite rules to the categorical approach of P. Degano et al. (1989) is also discussed.",

author = "Vijay Gehlot and Carl Gunter",

year = "1990",

language = "English (US)",

isbn = "0818620730",

series = "Proceedings - Symposium on Logic in Computer Science",

publisher = "Publ by IEEE",

pages = "200--207",

booktitle = "Computer Science",

note = "Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science ; Conference date: 04-06-1990 Through 07-06-1990",

}