Models for reactivity
type: Item
instance of: scholarly article
title: Models for reactivity
zbMATH Open document ID: 0790.68041
DOI: 10.1007/BF01191722
author: Zohar Manna
author: Amir Pnueli
published in: Acta Informatica
publication date: 1994-05-10T00:00:00Z
Mathematics Subject Classification ID: 68Q10
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 567292
zbMATH Keywords: reactive systems
zbMATH Keywords: real-time systems
zbMATH Keywords: hybrid systems
zbMATH Keywords: requirement specification language
zbMATH Keywords: temporal logic
zbMATH Keywords: proof rules
MaRDI profile type: Publication
cites work: A calculus of durations
cites work: Guarded commands, nondeterminacy and formal derivation of programs
cites work: Q4144755
cites work: Statecharts: a visual formalism for complex systems
cites work: Sooner is safer than later
cites work: Completing the temporal picture
cites work: Q4002642
cites work: From ATP to timed graphs and hybrid systems
cites work: Q4207573
Recommended article: Q4035513
Recommended article: Modeling and Simulating Chemical Reactions
Recommended article: Multi-scale Molecular Modeling of Chemical Reactivity
Recommended article: Q4452707
Recommended article: Modelling and simulation of reactive systems
Recommended article: Bond graph modelling for chemical reactors
Recommended article: Q3424846
Recommended article: MATHEMATICAL MODELS OF CHEMICALLY REACTING GASES
description: scientific article; zbMATH DE number 567292