scientific article

From MaRDI portal

Publication:3779721

Jump to:navigation, search

zbMath0638.68011MaRDI QIDQ3779721

Amir Pnueli, Stéphane Kaplan

Publication date: 1987

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

implementation algebraic data type abstract data types with concurrency graph accessibility

Mathematics Subject Classification ID

Data structures (68P05) General topics in the theory of software (68N01)

Related Items (3)

Rewriting with a nondeterministic choice operator ⋮ Algebraic specification of concurrent systems ⋮ Algebraic and functional specification of an interactive serializable database interface

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3779721&oldid=17335796"