scientific article

zbMATH Open0679.03006MaRDI QIDQ3835444

Uwe Petermann, Andrzej Szałas

Publication date: 1989

Title of this publication is not available (Why is that?)

zbMATH Keywords

communicationaxiomatisationdistributed processesdistributed computationLocal modalitiesTemporal semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Theory of operating systems (68N25)

Related Items (1)

Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3835444)