Extending MSVL with semaphore

DOI10.1007/978-3-319-42634-1_48MaRDI QIDQ2817902zbMATH OpenOpenAlexFDO

Authors Xinfeng Shu, Zhenhua Duan

Publication date 2 September 2016

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-42634-1_48

zbMATH Keywords

concurrencymutual exclusionprojectionsemaphoretemporal logic programming

Mathematics Subject Classification ID

Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A mechanism of function calls in MSVL
• A Visual Modeling Language for MSVL
• scientific article; zbMATH DE number 1951543
• Extended semaphore operations
• Proving properties of real-time semaphores

Cites work

• A decision procedure for propositional projection temporal logic with infinite models
• Expressiveness of propositional projection temporal logic with star
• Framed temporal logic programming
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• Verification of distributed systems with the axiomatic system of MSVL

Cited in

(2)

• A decision procedure and complete axiomatization for projection temporal logic
• Efficient decision procedure for propositional projection temporal logic

Describes a project that uses

Uses Software

• SPIN

This page was built for publication: Extending MSVL with semaphore

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