Reactive Systems
From MaRDI portal
concurrencyreactive systemsreal-time systemstransition systemsprocess algebrasalgorithmic verificationHenessy-Milner logic
Formal languages and automata (68Q45) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Recommendations
Cited in
(88)- An Operational Guide to Monitorability
- Model-based verification, optimization, synthesis and performance evaluation of real-time systems
- Characterizing traces of processes defined by precedence and response constraints: an order theory approach
- A propositional dynamic logic for instantial neighborhood semantics
- Timed actors and their formal verification
- Simulation for lattice-valued doubly labeled transition systems
- When are prime formulae characteristic?
- scientific article; zbMATH DE number 52331 (Why is no real title available?)
- Formal methods for software engineering. Languages, methods, application domains. With a foreword by Manfred Broy and a contribution on the origins and development of formal methods by John V. Tucker
- scientific article; zbMATH DE number 6970796 (Why is no real title available?)
- Recent Trends in Algebraic Development Techniques
- Discount-optimal infinite runs in priced timed automata
- Quantitative analysis of weighted transition systems
- Alternation-free weighted mu-calculus: decidability and completeness
- Specification, validation, and synthesis of email agent controllers: A case study in function rich reactive system design
- Bisimulations and logics for higher-dimensional automata
- Bisimulations for fuzzy automata
- Cyber-physical systems
- On bidirectional runtime enforcement
- Issues in formal methods
- Alternating refinement relations for fuzzy concurrent game structures
- Adequacy and complete axiomatization for timed modal logic
- Modal and temporal properties of processes
- On the executability of interactive computation
- Monitoring for silent actions
- On runtime enforcement via suppressions
- Analysing mutual exclusion using process algebra with signals
- Characteristic formulae for fixed-point semantics: a general framework
- Monitorability for the Hennessy-Milner logic with recursion
- Verification of finite-state machines: a distributed approach
- Computation of the greatest simulations and bisimulations between fuzzy automata
- CCS: it's not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions
- Nondeterministic automata: equivalence, bisimulations, and uniform relations
- Reachability analysis for timed automata using max-plus algebra
- Formal methods for distributed processing. A survey of object-oriented approaches.
- Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
- Symbolic realisation of epistemic processes
- Verification of reactive systems. Formal methods and algorithms.
- Compositional reasoning using intervals and time reversal
- Bisimulation of type 2 for BL-general fuzzy automata
- A practical theory of reactive systems. Incremental modeling of dynamic behaviors.
- Partition consistency. A case study in modeling systems with weak memory consistency and proving correctness of their implementations
- Synthesising correct concurrent runtime monitors
- A modular bisimulation characterisation for fragments of hybrid logic
- Modeling in Event B. System and software engineering.
- scientific article; zbMATH DE number 4119603 (Why is no real title available?)
- Logical characterisation of hybrid conformance
- Formal methods. An appetizer
- Product line process theory
- Dynamic logic with binders and its application to the development of reactive systems
- Combining aspects of reactive systems
- Lattice-valued simulations for quantitative transition systems
- Functional specification and proof of correctness for time dependent behaviour of reactive systems
- A theory of monitors
- A study on team bisimulation and H-team bisimulation for BPP nets
- The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism
- Predicate liftings and functor presentations in coalgebraic expression languages
- scientific article; zbMATH DE number 7447771 (Why is no real title available?)
- A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes
- An operational semantics for a calculus for wireless systems
- Simplified coalgebraic trace equivalence
- Testing interruptions in reactive systems
- Team bisimilarity, and its associated modal logic, for BPP nets
- Checking timed Büchi automata emptiness using LU-abstractions
- On decidability of recursive weighted logics
- Determinizing monitors for HML with recursion
- On first-order runtime enforcement of branching-time properties
- Consistently-detecting monitors
- The algorithmics of bisimilarity
- Hybrid-dynamic Ehrenfeucht-Fraïssé games
- Value-passing CCS with noisy channels
- The complexity of deciding characteristic formulae in van Glabbeek's branching-time spectrum
- A linear-time-branching-time spectrum for behavioral specification theories
- On the Modeling of Sequential Reactive Systems by Means of Real Time Automata
- A logic for the stepwise development of reactive systems
- Logical characterization of branching bisimilarity over random processes
- Compositionality for quantitative specifications
- Simulation relations and applications in formal methods
- Reasoning about reactive systems
- Process equivalence problems as energy games
- A parametric rely-guarantee reasoning framework for concurrent reactive systems
- When are prime formulae characteristic?
- Teaching Concurrency Concepts to Freshmen
- Designing reliable distributed systems. A formal methods approach based on executable modeling in Maude
- Introduction to the Formal Design of Real-Time Systems
- Isomorphism between two vector general fuzzy automata
- Modal logic characterizations of forward, reverse, and forward-reverse bisimilarities
- Differential privacy in probabilistic systems
This page was built for publication: Reactive Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5309950)
