A complete axiomatisation for trace congruence of finite state behaviors

Alexander Rabinovich

doi:10.1007/3-540-58027-1_25

A complete axiomatisation for trace congruence of finite state behaviors

Alexander Rabinovich^*

^*Corresponding author for this work

University of Texas at El Paso

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

24 Scopus citations

Original language	English
Title of host publication	Mathematical Foundations of Programming Semantics - 9th International Conference, Proceedings
Editors	Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt
Publisher	Springer Verlag
Pages	530-543
Number of pages	14
ISBN (Print)	9783540580270
DOIs	https://doi.org/10.1007/3-540-58027-1_25
State	Published - 1994
Externally published	Yes
Event	9th International Conference on the Mathematical Foundations of Programming Semantics, 1993 - New Orleans, United States Duration: 7 Apr 1993 → 10 Apr 1993

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	802 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	9th International Conference on the Mathematical Foundations of Programming Semantics, 1993
Country/Territory	United States
City	New Orleans
Period	7/04/93 → 10/04/93

Access to Document

10.1007/3-540-58027-1_25

Cite this

Rabinovich, A. (1994). A complete axiomatisation for trace congruence of finite state behaviors. In S. Brookes, M. Main, A. Melton, M. Mislove, & D. Schmidt (Eds.), Mathematical Foundations of Programming Semantics - 9th International Conference, Proceedings (pp. 530-543). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 802 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-58027-1_25

Rabinovich, Alexander. / A complete axiomatisation for trace congruence of finite state behaviors. Mathematical Foundations of Programming Semantics - 9th International Conference, Proceedings. editor / Stephen Brookes ; Michael Main ; Austin Melton ; Michael Mislove ; David Schmidt. Springer Verlag, 1994. pp. 530-543 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{a186800a05464f06bf1a8af635994ff1,

title = "A complete axiomatisation for trace congruence of finite state behaviors",

author = "Alexander Rabinovich",

note = "Funding Information: * This work was supported by the Soongsil University Research Fund.; 9th International Conference on the Mathematical Foundations of Programming Semantics, 1993 ; Conference date: 07-04-1993 Through 10-04-1993",

year = "1994",

doi = "10.1007/3-540-58027-1_25",

language = "אנגלית",

isbn = "9783540580270",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "530--543",

editor = "Stephen Brookes and Michael Main and Austin Melton and Michael Mislove and David Schmidt",

booktitle = "Mathematical Foundations of Programming Semantics - 9th International Conference, Proceedings",

}

Rabinovich, A 1994, A complete axiomatisation for trace congruence of finite state behaviors. in S Brookes, M Main, A Melton, M Mislove & D Schmidt (eds), Mathematical Foundations of Programming Semantics - 9th International Conference, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 802 LNCS, Springer Verlag, pp. 530-543, 9th International Conference on the Mathematical Foundations of Programming Semantics, 1993, New Orleans, United States, 7/04/93. https://doi.org/10.1007/3-540-58027-1_25

A complete axiomatisation for trace congruence of finite state behaviors. / Rabinovich, Alexander.
Mathematical Foundations of Programming Semantics - 9th International Conference, Proceedings. ed. / Stephen Brookes; Michael Main; Austin Melton; Michael Mislove; David Schmidt. Springer Verlag, 1994. p. 530-543 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 802 LNCS).

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

TY - GEN

T1 - A complete axiomatisation for trace congruence of finite state behaviors

AU - Rabinovich, Alexander

N1 - Funding Information: * This work was supported by the Soongsil University Research Fund.

PY - 1994

Y1 - 1994

UR - http://www.scopus.com/inward/record.url?scp=84950333552&partnerID=8YFLogxK

U2 - 10.1007/3-540-58027-1_25

DO - 10.1007/3-540-58027-1_25

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:84950333552

SN - 9783540580270

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 530

EP - 543

BT - Mathematical Foundations of Programming Semantics - 9th International Conference, Proceedings

A2 - Brookes, Stephen

A2 - Main, Michael

A2 - Melton, Austin

A2 - Mislove, Michael

A2 - Schmidt, David

PB - Springer Verlag

T2 - 9th International Conference on the Mathematical Foundations of Programming Semantics, 1993

Y2 - 7 April 1993 through 10 April 1993

ER -

Rabinovich A. A complete axiomatisation for trace congruence of finite state behaviors. In Brookes S, Main M, Melton A, Mislove M, Schmidt D, editors, Mathematical Foundations of Programming Semantics - 9th International Conference, Proceedings. Springer Verlag. 1994. p. 530-543. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-58027-1_25

A complete axiomatisation for trace congruence of finite state behaviors

Publication series

Conference

Access to Document

Other files and links

Cite this