@InProceedings{Barros:2008:SemanticOfDynStructure, abstract = "This paper presents the semantics of the Heterogeneous Flow System Specification (HFSS). HFSS is a modular formalism able to describe hierarchical event-based systems with a time-varying structure. While using a traditional representation of discrete event systems it introduces the concept of generalized sampling to achieve a description of continuous signals on digital computers. Sampling is treated as a first order concept being explicitly supported. While push event-based systems can be formalized by discrete event systems, sampling is consider here as a formalization of pull event-based systems. We introduce the new concepts of basic and network HFSS components to describe the semantics of the corresponding HFSS models.", author = "Fernando J. Barros", title = "Semantics of dynamic structure event-based systems", crossref = "Baldoni:2008:DEBS", pages = "245--252", doi = "http://doi.acm.org/10.1145/1385989.1386020", URL = "http://portal.acm.org/ft_gateway.cfm?id=1386020&type=pdf&coll=GUIDE&dl=GUIDE&CFID=37557346&CFTOKEN=92881980", topic = "Formal Models", modified = "1216812417", }

@Proceedings{Baldoni:2008:DEBS, editor = "Roberto Baldoni", title = "{DEBS} '08: Second conference on Distributed event-based systems", booktitle = "Proceedings of the second international conference on Distributed event-based systems", year = "2008", ISBN = "978-1-60558-090-6", location = "Rome, Italy", publisher = "ACM", address = "New York, NY, USA", URL = "http://portal.acm.org/toc.cfm?id=1385989&type=proceeding&coll=GUIDE&dl=GUIDE&CFID=37557346&CFTOKEN=92881980", topic = "Proceedings", modified = "1216749047", }