ETOILE-specifications: An Object-oriented Algebraic Formalism with Refinement

DOI10.1093/LOGCOM/14.2.145zbMATH Open1104.68015OpenAlexW2079241091MaRDI QIDQ4820463

Marc Aiguier

Publication date: 15 October 2004

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/14.2.145

zbMATH Keywords

algebraic specificationsconcurrencydynamic logicsObject-oriented specificationsalgebraic refinement

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Title not available (Why is that?) ⋮ Theory and Applications of Models of Computation

Uses Software

• Title not available (Why is that?)

This page was built for publication: ETOILE-specifications: An Object-oriented Algebraic Formalism with Refinement

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