An asynchronous distributed component model and its semantics
Article
Henrio, L., Kammueller, F. and Rivera, M. 2009. An asynchronous distributed component model and its semantics. Lecture Notes in Computer Science. 5751, pp. 159-179. https://doi.org/10.1007/978-3-642-04167-9_9
Type | Article |
---|---|
Title | An asynchronous distributed component model and its semantics |
Authors | Henrio, L., Kammueller, F. and Rivera, M. |
Abstract | This paper is placed in the context of large scale distributed programming, providing a programming model based on asynchronous components. It focuses on the semantics of asynchronous invocations and component synchronisation. Our model is precise enough to enable the specification of a formal semantics. A variant of this model has been implemented, together with tools for managing components. |
Research Group | Foundations of Computing group |
Artificial Intelligence group | |
Publisher | Springer |
Journal | Lecture Notes in Computer Science |
ISSN | 0302-9743 |
Publication dates | |
2009 | |
Publication process dates | |
Deposited | 10 Jan 2011 |
Output status | Published |
Accepted author manuscript | |
Copyright Statement | Authors manuscript as permitted by publisher. |
Additional information | Conference details: Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008. Held at Sophia Antipolis, France, October 21-23, 2008. |
Digital Object Identifier (DOI) | https://doi.org/10.1007/978-3-642-04167-9_9 |
Language | English |
https://repository.mdx.ac.uk/item/83116
Download files
38
total views8
total downloads0
views this month0
downloads this month