Finite transition systems - semantics of communicating systems

No abstract is available for this paper.

• Publication year

  1994

• Venue

  Prentice Hall international series in computer science

• Publication date

  1994-02-01

• Fields of study

  Computer Science

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• No references are available for this paper.

• Incremental Verification of Inference Observability in Decentralized Discrete-Event Control

  2025cites this paper
• Real-Time CCSL: Application to the Mechanical Lung Ventilator

  2024cites this paper
• Designing Distributed Systems Using SAT Solvers

  2024cites this paper
• The Verification of Decision Tree Model for Coreference Resolution Using Marked Transition Systems, Petri Nets and Büchi Automata

  2024cites this paper
• Model of the "Department" Ecosystem

  2024cites this paper
• Reinforcement Learning for Non-Deterministic Transition Systems With an Application to Symbolic Control

  2023cites this paper
• Monitoring for Resource-Awareness

  2023cites this paper
• A Trajectory-Based Stochastic Approach to Symbolic Control

  2023cites this paper
• A survey on compositional algorithms for verification and synthesis in supervisory control

  2023cites this paper
• Hyper-Labeled Transition System and Its Application to Planning Under Linear Temporal Logic Constraints

  2022influential citation
• Monilogging for executable domain-specific languages

  2021cites this paper
• Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis

  2021cites this paper
• Artificial Agents and Their Moral Nature

  2021cites this paper
• Formal Control Synthesis via Simulation Relations and Behavioral Theory for Discrete-Time Descriptor Systems

  2020cites this paper
• Method of semantic application verification in GPGPU technology

  2020cites this paper
• Automate sur les structures temporisée

  2019cites this paper
• Articulation of Transition Systems and Its Application to Petri Net Synthesis

  2019cites this paper
• Automated Composition, Analysis and Deployment of IoT Applications

  2019cites this paper
• Synchronous Composition of Quasi-Complete and Quasi-Deterministic FSMs

  2019cites this paper
• Design and Model Justification of GPU-Based Applications

  2018cites this paper
• π: towards a simple formal semantic framework for compiler construction

  2018cites this paper
• Framework for the Formal Specification and Verification of Security Guidelines

  2018cites this paper
• Reaction Systems, Transition Systems, and Equivalences

  2018cites this paper
• Reduction of Qualitative Models of Biological Networks for Transient Dynamics Analysis

  2018cites this paper
• Factorisation of Petri Net Solvable Transition Systems

  2018cites this paper
• Towards the Modular Specification and Validation of Cyber-Physical Systems

  2018cites this paper
• PUTRACOM: A Concurrent Component Model With Exogenous Connectors

  2018cites this paper
• Petri net synthesis and modal specifications

  2018cites this paper
• Reaction Systems: A Model of Computation Inspired by the Functioning of the Living Cell

  2017cites this paper
• Formal specification of security guidelines for program certification

  2017cites this paper
• A refinement-based compiler development for synchronous languages

  2017influential citation
• Formal framework for automated analysis and verification of distributed reactive applications

  2017cites this paper
• Transformation of deterministic models into state space models for safety analysis of safety critical systems: A case study of NPP

  2017cites this paper
• A Comparative Study of Dynamic Software Product Line Solutions for Building Self-Adaptive Systems

  2017cites this paper
• Communication Requirements for Team Automata

  2017cites this paper
• Formal Specification and Verification of Security Guidelines

  2017influential citation
• The Logic of Design as a Conceptual Logic of Information

  2017cites this paper
• Temporal Logics in Computer Science: Finite-State Systems

  2016cites this paper
• Towards a bisimulation theory for open synchronized networks of automata

  2016cites this paper
• Formal modeling and verification of IEC 61499 function blocks on the basis of transition systems

  2016influential citation
• Asserting reliable convergence for configuration management scripts

  2016cites this paper
• Formal synthesis of control strategies for dynamical systems

  2016cites this paper
• Generation of SystemVerilog Observers from SysML and MARTE/CCSL

  2016cites this paper
• Products of Transition Systems and Additions of Petri Nets

  2016cites this paper
• A Denotational Semantics for Parameterised Networks of Synchronised Automata

  2016cites this paper
• Checking Business Process Evolution

  2016cites this paper
• Component-Based Design by Solving Language Equations

  2015cites this paper
• Symbolic Supervisory Control of Timed Discrete Event Systems

  2015cites this paper
• Robust SOS Specifications of Probabilistic Processes

  2015cites this paper
• On constructibility and unconstructibility of LTS operators from other LTS operators

  2015cites this paper
• On Compositional Approaches for Discrete Event Systems Verification and Synthesis

  2015cites this paper
• Component-Based Design by Solving Language Equations The authors review the existing formalisms, algorithmic solutions, and design automation tools to specify and synthesize unknown components in compositional finite-state systems.

  2015cites this paper
• Towards a verified transformation from AADL to the formal component-based language FIACRE

  2015cites this paper
• Kleene Theorems for Synchronous Products with Matching

  2015cites this paper
• Designing Distributed Systems w.r.t. Conformance

  2015cites this paper
• Correctness issues on MARTE/CCSL constraints

  2015influential citation
• Language and Automata Theory and Applications

  2015cites this paper
• A timed communication behaviour model for distributed systems. (Un modèle de comportement temporisé pour les systèmes distribués communicants)

  2014influential citation
• Progressive events in supervisory control and compositional verification

  2014cites this paper
• Formal Techniques for Safety-Critical Systems

  2014influential citation
• Modeling Systemic Behavior by State-Based Holonic Modular Units

  2014cites this paper
• Informations personnelles sensibles aux contextes : modélisation, interrogation et composition. (Context-aware Personal Information : modeling, querying and composition)

  2014cites this paper
• pNets: An Expressive Model for Parameterised Networks of Processes

  2014cites this paper
• Finite Automata In Software Modeling With Semaphores And Deadlock Potential

  2014cites this paper
• From AADL to Timed Abstract State Machines: A verified model transformation

  2014cites this paper
• A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based Protocols

  2014cites this paper
• Improving the model checking of stutter-invariant LTL properties. (Amélioration du model checking des propriétés LTL insensibles au bégaiement)

  2014cites this paper
• Supervisory Control With Progressive Events

  2014cites this paper
• Robustness of synchronous communication protocols with delay for decentralized discrete-event control

  2014cites this paper
• Ontology-based Representation and Reasoning on Process Models: A Logic Programming Approach

  2014cites this paper
• Timed-pNets: a communication behavioural semantic model for distributed systems

  2014influential citation
• Improving the Efficiency of Synchronized Product with Infinite Transition Systems

  2013cites this paper
• Assisting refinement in System-on-Chip design

  2013cites this paper
• Verifying MARTE/CCSL Mode Behaviors Using UPPAAL

  2013cites this paper
• A Mechanized Semantic Framework for Real-Time Systems

  2013cites this paper
• Synthesis and distribution of modal transition systems from triggered scenarios

  2013cites this paper
• Mechanized Semantics of Concurrent Systems with Priorities

  2013cites this paper
• Computing Machinery and Intelligence

  2013cites this paper
• A model-based method to manage time properties in component based software systems

  2013cites this paper
• Boundness Issues in CCSL Specifications

  2013influential citation
• Model Based Development of Embedded Systems using Logical Clock Constraints and Timed Automata

  2013cites this paper
• Lazy Parallel Synchronous Composition of Infinite Transition Systems

  2013cites this paper
• State-based representation of CCSL operators

  2013influential citation
• Artifact-centric log extraction and process discovery

  2013cites this paper
• Sampling and abstract interpretation for tackling noise in process discovery

  2012cites this paper
• Automatic Generation of Observers from

  2012cites this paper
• A pseudometric in supervisory control of probabilistic discrete event systems

  2012cites this paper
• Automatic generation of observers from MARTE/CCSL

  2012influential citation
• Automated program generation Bridging the gap between model and implementation

  2012cites this paper
• 2 1 . 1 Model Checking : A Brief History

  2012cites this paper
• Compositional Refinement for Real-Time Systems with Priorities

  2012cites this paper
• Extrapolating (omega-)regular model checking

  2012cites this paper
• Revising and Extending the Uppaal Communication Mechanism

  2012cites this paper
• A generic framework for n-protocol compatibility checking

  2012cites this paper
• Light Region-based Techniques for Process Discovery

  2011cites this paper
• DAMASCo: A Framework for the Automatic Composition of Component-Based and Service-Oriented Architectures

  2011cites this paper
• An Alternative Definition for Timed Automata Composition

  2011cites this paper
• Projection approaches to process mining using region-based techniques

  2011cites this paper
• Stream fusion : practical shortcut fusion for coinductive sequence types

  2011cites this paper
• ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer

  2011cites this paper