scientific article

zbMath0463.68033MaRDI QIDQ3914421

André Arnold

Publication date: 1981

Full work available at URL: https://eudml.org/doc/92137

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

zbMATH Keywords

operational semanticsdenotational semanticsprocesses

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items (3)

Infinite-word languages and continuous mappings ⋮ Linear dynamic Kahn networks are deterministic ⋮ The chemical abstract machine

Cites Work

• Adherences of languages
• A Powerdomain Construction
• Fixed Point Theorems for Multi-Valued Transformations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: