About this scholarly article

Proceedings. Third Annual Information Symposium on Logic in Computer Science - Edinburgh, UK (5-8 July 1988)] [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science - A category of labelled Petri nets and compositional proof system by Winskel, G. is a scholarly article available to read on EtoBox.

Author

Winskel, G.

Publisher

IEEE Comput. Soc. Press

Published

1988