Compositional Petri net models of advanced tasking in Ada-95

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

• Type: Journal
• Year: 1999
• Where: CL
• Authors: Ravi K. Gedela, Sol M. Shatz, Haiping Xu
• Keywords: Ada Language, Automated Reasoning, Basic Mechanisms, CL 1999, Distributed Software