Compositional Petri net models of advanced tasking in Ada-95

13 years 4 months ago

Download www.cs.uic.edu

Abstract The Ada language has been designed to support development of concurrent and distributed software. While the Ada83 standard defined the basic mechanisms of rendezvous-based tasking, the Ada-95 standard significantly extended

Ravi K. Gedela, Sol M. Shatz, Haiping Xu

Real-time Traffic

Ada Language | Automated Reasoning | Basic Mechanisms | CL 1999 | Distributed Software |

claim paper

» Building a stateful reference monitor with coloured petri nets

» Ontology Based Business Process Description

» Towards a modeldriven engineering approach for developing embedded hard realtime software

» Modeling and Scheduling for MPEG4 Based Video Encoder Using a Cluster of Workstations

Post Info
More Details (n/a)

Added	22 Dec 2010
Updated	22 Dec 2010
Type	Journal
Year	1999
Where	CL
Authors	Ravi K. Gedela, Sol M. Shatz, Haiping Xu

Comments (0)

Sciweavers

Compositional Petri net models of advanced tasking in Ada-95

Ada Language | Automated Reasoning | Basic Mechanisms | CL 1999 | Distributed Software |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers