A general theory of action languages-Reference-Cited by-同舟云学术

A general theory of action languages

Published:1998-01 Issue:1 Volume:34 Page:12-30
ISSN:1060-0396
Container-title:Cybernetics and Systems Analysis
language:en
Short-container-title:Cybern Syst Anal

Author:

Letichevsky Alexander,Gilbert David

Publisher

Springer Science and Business Media LLC

Subject

General Computer Science

Link

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

Reference31 articles.

1. S. Abramsky, “A domain equation for bisimulation,”Inform. Comput. 92(2), 161–218 (1991).

2. S. Abramsky, “Semantics of interaction,” in:Trees in Algebra and Programmning-CAAP'96, Proc. 21st Int. Coll., Linköping, Lecture Notes in Computer Science, Vol. 1059, Springer-Verlag (1996), p. 1.

3. S. Abramsky and A. Jung, “Domain theory,” in:Handbook of Logic in Computer Science, Vol. 3, Clarendon Press (1994), pp. 2–168.

4. A. Arnold,Finite Transition Systems, Masson, Prentice Hall (1994).

5. J. A. Bergstra and J. W. Klop, “Process algebra for synchronous communication,”Inform. Control,60(1/3), 109–137 (1984).

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

1. Functional Programming of Intelligent Systems;WSEAS TRANSACTIONS ON INFORMATION SCIENCE AND APPLICATIONS;2023-11-03

2. Algebraic approach to the analysis of legal documents;PROBLEMS IN PROGRAMMING;2022-12

3. Algebraic Modeling of Molecular Interactions;Communications in Computer and Information Science;2022

4. An Approach for Identifying and Analyzing Implicit Interactions in Distributed Systems;IEEE Transactions on Reliability;2017-06

5. Generating Symbolic Traces in the Insertion Modeling System;Cybernetics and Systems Analysis;2015-01