Ravi K. Gedela Dept. of EECS Concurrent Software Lab The University of...  Home/Search
Context
Related
| uic.edu/~hxu1/./Papers/SIGAda99.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: uic.edu/~hxu1/append (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ABSTRACT One important role for One important role for Ada programming is Ada programming is to aid engineering of concurrent and to aid engineering of concurrent and distributed software. In a concurrent and distributed software. In a concurrent and distributed environment, objects may distributed environment, objects may execute concurrently and need to be execute concurrently and need to be synchronized to serve a common goal. Three synchronized to serve a common goal. Three basic... (Update)
Active bibliography (related documents): More All
0.4: Compositional Petri Net Models of Compositional Petri Net.. - Ravi Gedela Sol (Correct)
0.1: A Compact Petri Net Representation and Its Implications for.. - Dwyer, Clarke (1995) (Correct)
0.1: A Compact Petri Net Representation for Concurrent Programs - Dwyer, Clarke (1994) (Correct)
Similar documents based on text: More All
0.2: An Agent-based Petri Net Model with Application to Seller/Buyer.. - Xu, Shatz (2001) (Correct)
0.2: UML Diagrams to Object Petri Net Models: An Approach for.. - Saldhana, Shatz (2000) (Correct)
0.1: Formal Methods in Agent-Oriented Design and Analysis - Xu, Shatz (Correct)
BibTeX entry: (Update)
@misc{ dept-formal,
author = "Ravi Gedela Dept",
title = "Formal Modeling of Synchronization Methods for Formal Modeling of Synchronization
Methods for Concurrent Objects in Concurrent Objects in Ada 95 Ada 95",
url = "citeseer.ist.psu.edu/320617.html" }
Citations (may not include all citations):162 Petri Nets: Properties, Analysis and Applications (context) - Murata - 1989
80 Programming in Ada (context) - Barnes - 1996
65 Coloured Petri Nets: A High Level Language for System Design.. (context) - Jensen - 1990
19 Design and Implementation of a Petri Net Based Tool kit for .. (context) - Shatz - 1990
18 Application and Experimental Evaluation of State Space Reduc.. - Duri, Buy et al. - 1994
12 Concurrency in Ada (context) - Burns, Wellings - 1995
11 Modeling the Ada Task System by Petri Nets (context) - Mandrioli, Zicari et al. - 1985
6 An Application of Petri Net Reduction for Ada Tasking Deadlo.. - Shatz, Tu et al. - 1996
1 Formal Modeling of Advanced Tasking in Ada: A Petri Net Pers.. (context) - Gedela, Shatz - 1997
Documents on the same site (http://www.eecs.uic.edu/~hxu1/append.html): More
Java Security Model and Java Security Model and Bytecode.. - Xu (Correct)
Extending G-Nets to Support Inheritance Modeling in Concurrent.. - Xu, Shatz (2000) (Correct)
Case-Based Instructional Planning for Learning in a Context - Kai Warendorf Haiping (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC