scientific article; zbMATH DE number 910717

MaRDI QIDQ4885875zbMATH OpenFDO

Authors Martín Abadi, Stephan Merz

Publication date 28 July 1996

zbMATH Keywords

semanticsreactive systemssyntaxverification rulestemporal logic of action

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Cited in

(21)

• Semantical Analysis of Logic of Actions
• An abstract account of composition
• Extracting Symbolic Transitions from TLA$$^{+}$$+ Specifications
• scientific article; zbMATH DE number 810108 (Why is no real title available?)
• scientific article; zbMATH DE number 6423952 (Why is no real title available?)
• On the relationship between TMS and logic programs
• A Branching Time Logical System for Open Distributed Systems Development
• scientific article; zbMATH DE number 2185692 (Why is no real title available?)
• scientific article; zbMATH DE number 2172804 (Why is no real title available?)
• scientific article; zbMATH DE number 2015290 (Why is no real title available?)
• scientific article; zbMATH DE number 1390253 (Why is no real title available?)
• scientific article; zbMATH DE number 1405446 (Why is no real title available?)
• Specification and refinement of mobile systems in MTLA and mobile UML
• Formal specification and verification
• Logic: Going farther from Tarski?
• scientific article; zbMATH DE number 1407682 (Why is no real title available?)
• TTL : a formalism to describe local and global properties of distributed systems
• From the archives of the formal methods and tools lab. Axiomatising and contextualising ACTL
• TLA +  Proofs
• The Temporal Logic of Rewriting: A Gentle Introduction
• Applications and Theory of Petri Nets 2004

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 Q4885875)