An Object-Oriented Component Model for Heterogeneous Nets

DOI10.1007/978-3-540-92188-2_11zbMath1209.68339OpenAlexW2151987729MaRDI QIDQ3603002

Marcel Kyas, Joakim Bjørk, Einar Broch Johnsen, Olaf Owe

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

Mathematics Subject Classification ID

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)

Related Items (2)

A lightweight approach to smart contracts supporting safety, security, and privacy ⋮ Formal modeling and validation of a power-efficient grouping protocol for WSNs

Uses Software

• OBJ3
• Maude
• Creol

Cites Work

• Unnamed Item
• Unnamed Item
• Creol: A type-safe object-oriented model for distributed concurrent systems
• Grammatical inference: Algorithms and applications. 9th international colloquium, ICGI 2008, Saint-Malo, France, September 22--24, 2008. Proceedings
• Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
• Conditional rewriting logic as a unified model of concurrency
• Maude: specification and programming in rewriting logic
• Specification of real-time and hybrid systems in rewriting logic
• Automated Reasoning
• Testing Concurrent Objects with Application-Specific Schedulers
• Formal Methods for Open Object-Based Distributed Systems

This page was built for publication: An Object-Oriented Component Model for Heterogeneous Nets