scientific article

Publication date: 1985

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

consistency parallelism complex systems concurrency Magic Square system development system behaviour bidimensional method statechart

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Artificial intelligence (68T99) Theory of software (68N99) Theory of computing (68Q99)

Related Items

Using transition systems to describe and predict the behaviour of structured excitable media, Detecting causal relationships in distributed computations: In search of the holy grail, Temporal Logic and Fair Discrete Systems, Linear temporal logic -- from infinite to finite horizon, Multi-Valued Reasoning about Reactive Systems, Coverage metrics for temporal logic model checking, Specialisation of Prolog and FCP programs using abstract interpretation, Network-formation games with regular objectives, Recent advances in program verification through computer algebra, Towards the hierarchical verification of reactive systems, Monitorable hyperproperties of nonterminating systems, Resolution-based approach to compatibility analysis of interacting automata, A polynomial dynamic system approach to software design for attractivity requirement, Modal specifications for the control theory of discrete event systems, Reactive Turing machines, Unnamed Item, Enriched μ–Calculus Pushdown Module Checking, Global view on reactivity: switch graphs and their logics, Model checking and synthesis for branching multi-weighted logics, Reasoning about Quality and Fuzziness of Strategic Behaviors, An axiomatic semantics for the synchronous language Gentzen., LTL-specification for development and verification of control programs, Coping with selfish on-going behaviors, Towards a notion of unsatisfiable and unrealizable cores for LTL, Using formal methods with SysML in aerospace design and engineering, Reasoning about graded strategy quantifiers, Information gain of black-box testing, Bridging the Gap between Two Concurrent Constraint Languages, Compilation of the ELECTRE reactive language into finite transition systems, Modification of the method of generation of control finite-state machines with continuous actions based on training examples, A denotational theory of synchronous reactive systems, Causal automata, A compositional axiomatization of statecharts, A logical view of composition, Using Hoare Logic in a Process Algebra Setting, Implementing mixed-criticality synchronous reactive programs upon uniprocessor platforms, The tccp Interpreter, Design of reactive algorithms by solving equations over automata, An introduction to compositional methods for concurrency and their application to real-time., An axiomatic semantics for Esterel, Checking the satisfiability of formulas represented in disjunctive normal form in the language \(L\). I, Supervisory control of product and hierarchical discrete event systems, Robustness of temporal logic specifications for continuous-time signals, Reconciling statechart semantics, Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications, Reactive mode handling of flexible manufacturing systems, Automated verification of reactive and concurrent programs by calculation, A metamodel for the design of polychronous systems, Introduction to design choices in the semantics of Statecharts, Unnamed Item, On disjunction of literals in triggers of statecharts transitions., Module checking, Concurrency in Biological Modeling: Behavior, Execution and Visualization