FAST1998.bib
@ARTICLE{KnijnenburgKok1998,
AUTHOR = {P. Knijnenburg and J.N. Kok},
TITLE = {The Semantics of the Combination of Atomized Statements and
Parallel Choice},
JOURNAL = {Formal Aspects of Computing (1997)},
VOLUME = {9},
PAGES = {518--536},
YEAR = {1998}
}
@INPROCEEDINGS{MPC98,
AUTHOR = {M.M. Bonsangue and J.N. Kok and K. Sere},
TITLE = {An Approach to Object-Orientation in Action Systems},
BOOKTITLE = {Proceedings of the 4th International Conference on Mathematics
of Program Constructions (MPC'98), June 15 - 17, 1998,
Marstrand, Sweden},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {1422},
PUBLISHER = {Springer Verlag},
YEAR = {1998},
PAGES = {68--95}
}
@ARTICLE{GoemanKokSereUdink1998,
AUTHOR = {H. Goeman and J.N. Kok and K. Sere and R.T. Udink},
TITLE = {Coordination in the ImpUnity Framework},
JOURNAL = {Science of Computer Programming},
VOLUME = {31},
PUBLISHER = {Elsevier},
PAGES = {313-334},
YEAR = {1998}
}
@INPROCEEDINGS{BonsangueKokBoassonDeJong1998,
AUTHOR = {M.M. Bonsangue and J.N. Kok and M. Boasson and E. de Jong},
TITLE = {A software architecture for distributed control systems and its
transition system semantics},
BOOKTITLE = {Proceedings of the ACM Symposium on Applied Computing
(SAC '98), Atlanta},
PUBLISHER = {ACM press},
YEAR = {1998},
PAGES = {159--168}
}
This file has been generated by
bibtex2html 1.52