CCS EXPRESSIONS, FINITE STATE PROCESSES, AND THREE PROBLEMS OF EQUIVALENCE.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

111 Scopus citations

Original language	English
Title of host publication	Unknown Host Publication Title
Publisher	ACM
Pages	228-240
Number of pages	13
ISBN (Print)	0897911105, 9780897911108
DOIs	https://doi.org/10.1145/800221.806724
State	Published - 1983

Access to Document

@inproceedings{6dfa85b02a8540bb852178aa3d1d3650,

title = "CCS EXPRESSIONS, FINITE STATE PROCESSES, AND THREE PROBLEMS OF EQUIVALENCE.",

author = "Kanellakis, \{Paris C.\} and Smolka, \{Scott A.\}",

year = "1983",

doi = "10.1145/800221.806724",

language = "English",

isbn = "0897911105",

publisher = "ACM",

pages = "228--240",

booktitle = "Unknown Host Publication Title",

}

TY - GEN

T1 - CCS EXPRESSIONS, FINITE STATE PROCESSES, AND THREE PROBLEMS OF EQUIVALENCE.

AU - Kanellakis, Paris C.

AU - Smolka, Scott A.

PY - 1983

Y1 - 1983

UR - https://www.scopus.com/pages/publications/0020977953

U2 - 10.1145/800221.806724

DO - 10.1145/800221.806724

M3 - Conference contribution

AN - SCOPUS:0020977953

SN - 0897911105

SN - 9780897911108

SP - 228

EP - 240

BT - Unknown Host Publication Title

PB - ACM

ER -