Publication:2079682: Difference between revisions
From MaRDI portal
Publication:2079682
Created automatically from import240129110113 |
(No difference)
|
Latest revision as of 20:56, 1 February 2024
DOI10.1016/J.JLAMP.2022.100807OpenAlexW3216696200WikidataQ114159186 ScholiaQ114159186MaRDI QIDQ2079682FDOQ2079682
Benjamin Lion, Farhad Arbab, Carolyn Talcott
Publication date: 30 September 2022
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2110.02214
Cites Work
- Title not available (Why is that?)
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- Universal coalgebra: A theory of systems
- Communicating sequential processes
- Diagnosability of discrete-event systems
- Hybrid I/O automata.
- Defining liveness
- Abstract behavior types: a foundation model for components and their composition
- Recent Trends in Algebraic Development Techniques
- Symbolic reachability computation for families of linear vector fields
- Dynamic networks of heterogeneous timed machines
- Modeling Timed Concurrent Systems
- Nivat's processes and their synchronization
- On the complexity of verification of time-sensitive distributed systems
- Realizing \(\omega\)-regular hyperproperties
- A modular formal semantics for Ptolemy
- Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems
- Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems
Uses Software
This page was built for publication: A semantic model for interacting cyber-physical systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2079682)
