scientific article; zbMATH DE number 910717

zbMATH Open0855.03019MaRDI QIDQ4885875FDOQ4885875

Authors: Martín Abadi, Stephan Merz 

Publication date: 28 July 1996

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

Recommendations

• scientific article; zbMATH DE number 1487491
• scientific article; zbMATH DE number 1405446
• scientific article; zbMATH DE number 2172804
• scientific article; zbMATH DE number 2185692
• scientific article; zbMATH DE number 810108

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 (20)

• An abstract account of composition
• Specification and refinement of mobile systems in MTLA and mobile UML
• Applications and Theory of Petri Nets 2004
• Title not available (Why is that?)
• The Temporal Logic of Rewriting: A Gentle Introduction
• Title not available (Why is that?)
• Title not available (Why is that?)
• Semantical Analysis of Logic of Actions
• Extracting Symbolic Transitions from TLA$$^{+}$$+ Specifications
• Title not available (Why is that?)
• Logic: Going farther from Tarski?
• Formal specification and verification
• On the relationship between TMS and logic programs
• Title not available (Why is that?)
• A Branching Time Logical System for Open Distributed Systems Development
• TLA +  Proofs
• Title not available (Why is that?)
• TTL : a formalism to describe local and global properties of distributed systems
• Title not available (Why is that?)
• 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 Q4885875)