An Object-Oriented Component Model for Heterogeneous Nets
DOI10.1007/978-3-540-92188-2_11zbMATH Open1209.68339OpenAlexW2151987729MaRDI QIDQ3603002FDOQ3603002
Authors: Einar Broch Johnsen, Olaf Owe, Joakim Bjørk, Marcel Kyas 
Publication date: 12 February 2009
Published in: Formal Methods for Components and Objects (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-92188-2_11
Recommendations
- scientific article; zbMATH DE number 1231678
- Creol: A type-safe object-oriented model for distributed concurrent systems
- A component-based Petri net model for specifying and validating cooperative information systems
- Composition for component-based modeling
- scientific article; zbMATH DE number 1569122
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Maude: specification and programming in rewriting logic
- Specification of real-time and hybrid systems in rewriting logic
- Conditional rewriting logic as a unified model of concurrency
- Creol: A type-safe object-oriented model for distributed concurrent systems
- Automated Reasoning
- Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
- A rewriting based model for probabilistic distributed object systems.
- Grammatical inference: Algorithms and applications. 9th international colloquium, ICGI 2008, Saint-Malo, France, September 22--24, 2008. Proceedings
- Title not available (Why is that?)
- Title not available (Why is that?)
- Testing Concurrent Objects with Application-Specific Schedulers
Cited In (3)
Uses Software
This page was built for publication: An Object-Oriented Component Model for Heterogeneous Nets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3603002)
