Formal modeling of synchronization methods for concurrent objects in Ada 95 (original) (raw)
Related papers
Object-oriented and concurrent program design issues in Ada 95
ACM SIGAda Ada Letters, 1998
Practical use of Ada 95's concurrency features
Concurrency, IEEE, 1998
The ClassiC programming language and design of synchronous concurrent object oriented languages
Journal of Systems Architecture, 1998
Integrating object-oriented programming and protected objects in Ada 95
ACM Transactions on Programming Languages and Systems, 2000
A new paradigm for the design of concurrent systems
ACM SIGAda Ada Letters, 1987
A concurrency analysis tool suite for Ada programs: rationale, design, and preliminary experience
ACM Transactions on Software Engineering and Methodology, 1995
On developing and verifying design abstractions for reliable concurrent programming in Ada
Alexander Romanovsky, Alex Yakovlev, A. Burns
2001
Concurrent Object-Oriented Programs: From Specification to Code
Formal Methods for Components and Objects, First International Symposium, FMCO 02, 2003
An Environment for the Development of Concurrent Object-Based Applications 1,2
Electronic Notes in Theoretical Computer Science
Verification in concurrent programming with Petri nets structural techniques
Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231), 1998
A model-based semantics for synchronization contracts in object-oriented languages
Modelling the semantics of multitasking facilities in Concurrent C using Petri nets
Information and Software Technology, 1996
The specification of process synchronization by path expressions
1974
Analysis of synchronisation patterns in stateful active objects
2017
An Environment for the Development of Concurrent Object-Based Applications
Electronic Notes in Theoretical Computer Science, 2005
Abstract Writing Concurrent Object-Oriented Programs
1989
Modeling and Analysis of Concurrent and Real-Time Object-Oriented Designs
A Case Study in Concurrent Programming with Active Objects
Modular Programming Languages, 2006
Abstracting process-to-function relations in concurrent object-oriented applications
Lecture Notes in Computer Science
A calculus for concurrent objects
1996
Analysis of Synchronisations in Stateful Active Objects
Integrated Formal Methods, 2017
Modeling the Ada Task System by Petri Nets
Computer Languages, Systems & Structures, 1985
Static Dependency Analysis for Concurrent Ada 95 Programs
Lecture Notes in Computer Science, 2002
Application and Theory of Petri Nets and Concurrency
Lecture Notes in Computer Science, 2013
Specification of Synchronizing Processes
IEEE Transactions on Software Engineering, 2000
Submitted to TOOLS USA 2003 Concurrent Object-Oriented Programming: The MP-Eiffel Approach
2008
Object-Oriented Programming and Protected Objects in Ada 95
2000
A synchronization mechanism for typed objects in a distributed system
ACM SIGPLAN Notices, 1989
Concurrent programming made easy
Proceedings Sixth IEEE International Conference on Engineering of Complex Computer Systems. ICECCS 2000, 2000
A formal foundation for concurrent object oriented programming
1995