The expressive power of implicit specifications

DOI10.1016/0304-3975(93)90155-MzbMath0779.68059OpenAlexW1967594083MaRDI QIDQ685409

Kim Guldstrand Larsen

Publication date: 25 October 1993

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(93)90155-m

zbMATH Keywords

concurrent systemsHennessy-Milner logicimplicit specifications

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

A Logical Process Calculus

Uses Software

• LOTOS

Cites Work

• The temporal logic of branching time
• Calculi for synchrony and asynchrony
• A complete inference system for a class of regular behaviours
• Higher-level synchronising devices in Meije-SCCS
• A linear algorithm to solve fixed-point equations on transition systems
• Tableau-based model checking in the propositional mu-calculus
• A calculus of communicating systems
• Local model checking in the modal mu-calculus
• Propositional dynamic logic of regular programs
• Submodule construction as equation solving in CCS
• Algebraic laws for nondeterminism and concurrency
• On the Construction of Submodule Specifications and Communication Protocols
• Compositionality Through an Operational Semantics of Contexts
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The expressive power of implicit specifications