In proceedings details

A language for the logical specification of processes and relations

Jan 1996

Organization:

Publisher: Springer-Verlag

Authors: Luis Caires

Editors:

Series: Lecture Notes in Computer Science

Volume: 1139

ISSN:

ISBN:

Url:

Notes:

Bibtex Key:

DOI:

Pages: 0 to 0

Publication Date: 1 Jan 1996

Publication File: