Abstract interface behavior of object-oriented languages with monitors
type: Item
instance of: scholarly article
title: Abstract interface behavior of object-oriented languages with monitors
zbMATH Open document ID: 1162.68475
author: Erika Ábrahám
author: Andreas Grüner
author: Martin Steffen
published in: Theory of Computing Systems
publication date: 2009-05-08T00:00:00Z
full work available at URL: tr-0612-bericht.pdf
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 5552174
zbMATH Keywords: formal semantics
zbMATH Keywords: object oriented languages
zbMATH Keywords: thread-based concurrency
zbMATH Keywords: monitors
zbMATH Keywords: open systems
zbMATH Keywords: observable interface behavior
describes a project that uses: Java Jr
describes a project that uses: Z
MaRDI profile type: Publication
OpenAlex ID: W2031330717
cites work: Q4715213
cites work: Theoretical Aspects of Computing - ICTAC 2004
cites work: Formal Methods for Components and Objects
cites work: Issues in the design of a parallel object-oriented language
cites work: Q4066554
cites work: Testing equivalences for processes
cites work: Q4223023
cites work: Q3122694
cites work: Monitors
cites work: A fully abstract may testing semantics for concurrent objects
cites work: Programming Languages and Systems
cites work: Fully abstract models of typed \(\lambda\)-calculi
cites work: Specification-oriented semantics for communicating processes
cites work: LCF considered as a programming language
cites work: A Representation-Independent Behavioral Semantics for Object-Oriented Components
cites work: Q4331845
cites work: Q3995087
DOI: 10.1007/S00224-007-9047-0
Recommended article: Abstract Interface Behavior of Object-Oriented Languages with Monitors
Recommended article: Monotonic abstraction for programs with multiply-linked structures
Recommended article: Monotonic Abstraction for Programs with Multiply-Linked Structures
Recommended article: Tools and Algorithms for the Construction and Analysis of Systems
Recommended article: Q4536725
Recommended article: Lazy Constrained Monotonic Abstraction
Recommended article: Behavioural and abstractor specifications
Recommended article: Behavioural and abstractor specifications revisited
Recommended article: Full Abstraction at Package Boundaries of Object-Oriented Languages
description: scientific article; zbMATH DE number 5552174