Logic of transition systems-Reference-Cited by-同舟云学术

Logic of transition systems

Published:1994-12 Issue:4 Volume:3 Page:247-283
ISSN:0925-8531
Container-title:Journal of Logic, Language and Information
language:en
Short-container-title:J Logic Lang Inf

Author:

Van Benthem Johan,Bergstra Jan

Publisher

Springer Science and Business Media LLC

Subject

Linguistics and Language,Philosophy,Computer Science (miscellaneous)

Link

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

Reference25 articles.

1. Baeten, J. and Bergstra, J.A., 1993, ?On Sequential Composition, Action Prefixes and Process Prefix?, Departments of Computer Science, University of Amsterdam and University of Eindhoven.

2. Bergstra, J.A. and Klop, J.-W., 1984, ?Process Algebra for Synchronous Communication?,Information and Control 60, 109?137.

3. Bergstra, J.A. and Klop, J.-W., 1986, ?Process Algebra: Specification and Verification in Bisimulation Semantics?, inMathematics and Computer Science II, M. Hazewinkelet al., eds., North-Holland, Amsterdam, pp. 61?94.

4. Bergstra, J.A. and Klop, J.-W., 1988, ?A Complete Inference System for Regular Processes with Silent Moves?, inLogic Colloquium '86, F. Drake and J. Truss, eds., North-Holland, Amsterdam, pp. 21?81.

5. Chang, C.C. and Keisler, H.J., 1973,Model Theory, North-Holland, Amsterdam.

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

1. Enhancing MVC architecture pattern description using its System of Systems model;Proceedings of the 17th Innovations in Software Engineering Conference;2024-02-22

2. The Revised PLEN Framework I: Protocol Equivalence (Useful Lemmata);Synthese Library;2022

3. Hexagonal Grid Fields Optimally Encode Transitions in Spatiotemporal Sequences;Neural Computation;2018-10

4. INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY;The Review of Symbolic Logic;2017-08-01

5. Structuring Interactions;Studies in Applied Philosophy, Epistemology and Rational Ethics;2016-10-25