Denotational semantics of object specification

DOI10.1007/s002360050141zbMath0910.68136OpenAlexW1997732603MaRDI QIDQ1127818

Carlos Caleiro, Amílcar Sernadas, Cristina Sernadas

Publication date: 10 September 1998

Published in: Acta Informatica (Search for Journal in Brave)

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

zbMATH Keywords

aggregationabstractionlinear temporal logicGalois correspondenceparallel compositioninstitution of objectsinterconneetioninterfacingmonotonic specializationtemporal logic institution

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Theory of software (68N99)

Related Items (1)

Categorical foundations for randomly timed automata

This page was built for publication: Denotational semantics of object specification