Concurrent weighted logic
From MaRDI portal
Publication:890620
DOI10.1016/j.jlamp.2015.07.002zbMath1330.68210OpenAlexW1925886662MaRDI QIDQ890620
Kim Guldstrand Larsen, Radu Mardare, Bingtian Xue
Publication date: 10 November 2015
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2015.07.002
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Topological proofs of some Rasiowa-Sikorski lemmas
- Handbook of weighted automata
- Ready simulation for concurrency: it's logical!
- A calculus of communicating systems
- A spatial logic for concurrency. I
- Complete proof systems for weighted modal logic
- Weighted automata and weighted logics
- Axiomatizing weighted synchronization trees and weighted bisimilarity
- Bisimulation relations for weighted automata
- Strong Completeness for Markovian Logics
- Modular Markovian Logic
- Deduction Systems for Coalgebras Over Measurable Spaces
- Weighted Bisimulation in Linear Algebraic Form
- Structural Operational Semantics for Weighted Transition Systems
- The Countable Henkin Principle
- Introduction to Boolean Algebras
- A Complete Deductive System for Probability Logic
- On the role of the Baire Category Theorem and Dependent Choice in the foundations of logic
- Continuous Markovian Logics - Axiomatization and Quantified Metatheory
- Anytime, anywhere
- BI as an assertion language for mutable data structures
- Stone Duality for Markov Processes
- A proof of the completeness theorem of Grödel
This page was built for publication: Concurrent weighted logic
