Proceedings paper

Title:
Inheriting Synchronization Protocols via Sound Enrichment Rules.
Authors:
F. Plášil, D. Mikusík
Publication:
Modular Programming Languages, Joint Modular Languages Conference, JMLC '97, Linz, Austria, March 19-21, 1997, Proceedings
DOI:
10.1007/3-540-62599-2_45
Year:
1997
Link:
https://doi.org/10.1007/3-540-62599-2_45

BibTeX:
@inproceedings{plasil_inheriting_1997,
    title = {{Inheriting Synchronization Protocols via Sound Enrichment Rules.}},
    author = {Plasil, Frantisek and Mikusík, Daniel},
    year = {1997},
    booktitle = {{Modular Programming Languages, Joint Modular Languages Conference, JMLC '97, Linz, Austria, March 19-21, 1997, Proceedings}},
    doi = {10.1007/3-540-62599-2_45},
    pages = {267--281},
    url = {https://doi.org/10.1007/3-540-62599-2_45},
}