Specifying and Inheriting Concurrent Behavior in an Actor-BasedObject-Oriented Language
| dc.contributor.author | Lavender, R. Gregory | en |
| dc.contributor.author | Kafura, Dennis G. | en |
| dc.contributor.department | Computer Science | en |
| dc.date.accessioned | 2013-06-19T14:37:03Z | en |
| dc.date.available | 2013-06-19T14:37:03Z | en |
| dc.date.issued | 1990 | en |
| dc.description.abstract | Using CCS behavior equations to specify and reason about the observable behavior of concurrent objects, we demonstrate that a language mechanism called a behavior set can be used to capture the behavior of actor-like objects. Using behavior equations as a formal representation of concurrent object behavior results in the explication of a mapping from the domain of objects to a domain of behavior sets. We call this mapping the behavior function. By expressing relevant object states, behavior sets and the behavior function as first-class, inheritable, and mutable entities in a concurrent object-oriented language, we have defined the conditions which must be met in order to inherit concurrent behavior free of known anomalies. | en |
| dc.format.mimetype | application/pdf | en |
| dc.identifier | http://eprints.cs.vt.edu/archive/00000238/ | en |
| dc.identifier.sourceurl | http://eprints.cs.vt.edu/archive/00000238/01/TR-90-56.pdf | en |
| dc.identifier.trnumber | TR-90-56 | en |
| dc.identifier.uri | http://hdl.handle.net/10919/19636 | en |
| dc.language.iso | en | en |
| dc.publisher | Department of Computer Science, Virginia Polytechnic Institute & State University | en |
| dc.relation.ispartof | Historical Collection(Till Dec 2001) | en |
| dc.rights | In Copyright | en |
| dc.rights.uri | http://rightsstatements.org/vocab/InC/1.0/ | en |
| dc.title | Specifying and Inheriting Concurrent Behavior in an Actor-BasedObject-Oriented Language | en |
| dc.type | Technical report | en |
| dc.type.dcmitype | Text | en |
Files
Original bundle
1 - 1 of 1