@inproceedings{d7fa347498f74419af3587c0921ce48e,
title = "Advanced component interface specification",
abstract = "We introduce a method for the specification of reactive asynchronous components with a concurrent access interface and outline its mathematical foundation. The method supports the specification of components that show a complex reactive behavior including timing aspects. Examples are the nonstrict fair merge or the arbiter. The method supports the specification of reactive systems and their modular composition into data flow networks. The specification approach is compositional. It supports the integrated specification and verification of both safety and liveness conditions in modular system descriptions. We outline particular specification styles that may be useful for the better readability of such specifications.",
author = "Manfred Broy",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1995.; 1st International Workshop on Theory and Practice of Parallel Programming, TPPP 1994 ; Conference date: 07-11-1994 Through 09-11-1994",
year = "1995",
doi = "10.1007/BFb0026580",
language = "English",
isbn = "3540591729",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "369--392",
editor = "Akinori Yonezawa and Takayasu Ito",
booktitle = "Theory and Practice of Parallel Programming - International Workshop, TPPP 1994, Proceedings",
}