A formal framework for the development of concurrent object-based systems

DOI10.1007/978-3-540-31847-7_23MaRDI QIDQ5710421zbMATH OpenOpenAlexFDO

Authors Leila Ribeiro, Fernando Luís Dotti, Roswitha Bardohl

Publication date 2 December 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b106390

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited in

(8)

• Formal deadlock elimination in an object oriented conceptual schema
• Development of concurrent systems by incremental transformation
• Correct transformation: from object-based graph grammars to PROMELA
• scientific article; zbMATH DE number 1546500 (Why is no real title available?)
• Combining graphical and formal development of open distributed systems
• Formal verification of graph grammars using mathematical induction
• scientific article; zbMATH DE number 5198934 (Why is no real title available?)
• scientific article; zbMATH DE number 5262134 (Why is no real title available?)

Describes a project that uses

Uses Software

• MWB

This page was built for publication: A formal framework for the development of concurrent object-based systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5710421)