## Lalita Jategaonkar, Albert R. Meyer

*Deciding True Concurrency Equivalences on Finite Sate Nets*

ICALP, 1993.

@inproceedings{ICALP-1993-JategaonkarM, author = "Lalita Jategaonkar and Albert R. Meyer", booktitle = "{Proceedings of the 20th International Colloquium on Automata, Languages and Programming}", doi = "10.1007/3-540-56939-1_99", isbn = "3-540-56939-1", pages = "519--531", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Deciding True Concurrency Equivalences on Finite Sate Nets}", volume = 700, year = 1993, }