Algebraic specification of reactive systems

Authors:
Manfred Broy
Affiliations:
Technische Univ. München, München, Germany
Venue:
Theoretical Computer Science
Year:
2000

Citing 0
Cited 5

A set-theoretic framework for component composition

Fundamenta Informaticae
Concurrent Logic and Automata Combined: A Semantics for Components

Electronic Notes in Theoretical Computer Science (ENTCS)
Modelling Component Behaviour with Concurrent Automata

Electronic Notes in Theoretical Computer Science (ENTCS)
Generating Snapshots of a Component Setting

Electronic Notes in Theoretical Computer Science (ENTCS)
A Set-Theoretic Framework for Component Composition

Fundamenta Informaticae

Quantified Score

Hi-index	5.23

Visualization

Abstract