scientific article; zbMATH DE number 4001463
From MaRDI portal
Publication:4727411
zbMath0617.68026MaRDI QIDQ4727411
No author found.
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completenessinterferencecooperationconcurrencysoundnesssynchronous communicationCommunicating Sequential ProcessesModula-2shared variablesAdaCommunicating Modulesdistributed message passing between processesformal verification of object oriented systeme
Related Items (6)
Proof theory for exception handling in a tasking environment ⋮ A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs ⋮ A Bibliography of Willem-Paul de Roever ⋮ An introduction to compositional methods for concurrency and their application to real-time. ⋮ A shared-variable concurrency analysis of multi-threaded object-oriented programs ⋮ Corrigenda:Cooperating proofs for distributed programs with multiparty interactions
Uses Software
This page was built for publication:
