Algebraic specification of reactive systems-Reference-Cited by-同舟云学术

Algebraic specification of reactive systems

Published:1996 Issue: Volume: Page:487-503
ISSN:0302-9743
Container-title:Algebraic Methodology and Software Technology
language:
Short-container-title:

Author:

Broy Manfred

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0014335

Reference21 articles.

1. M. Broy: Applicative Real Time Programming. In: Information Processing 83, IFIP World Congress, Paris 1983, North Holland Publ. Company 1983, 259–264

2. M. Broy: Specification and Top Down Design of Distributed Systems. In: H. Ehrig et al. (eds.): Formal Methods and Software Development. Lecture Notes in Computer Science 186, Springer 1985, 4–28, Revised version in JCSS 34:2/3, 1987, 236–264

3. M. Broy: A Theory for Nondeterminism, Parallelism, Communication and Concurrency. Habilitation, Fakultät für Mathematik und Informatik der Technischen Universität München, 1982, Revised version in: Theoretical Computer Science 45 (1986) 1–61

4. M. Broy: Semantics of Finite or Infinite Networks of Communicating Agents. Distributed Computing 2 (1987), 13–31

5. M. Broy: Predicative Specification for Functional Programs Describing Communicating Networks. Information Processing Letters 25 (1987) 93–101

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Runtime verification for dynamic architectures;Journal of Logical and Algebraic Methods in Programming;2021-01

2. Interactive verification of architectural design patterns in FACTum;Formal Aspects of Computing;2019-11

3. Detecting Architectural Erosion using Runtime Verification;Electronic Proceedings in Theoretical Computer Science;2019-09-12

4. A calculus for dynamic architectures;Science of Computer Programming;2019-08

5. A Framework for Interactive Verification of Architectural Design Patterns in Isabelle/HOL;Formal Methods and Software Engineering;2018