Using logic to solve the submodule construction problem-Reference-Cited by-同舟云学术

Using logic to solve the submodule construction problem

Published:2012-01-28 Issue:1 Volume:23 Page:27-59
ISSN:0924-6703
Container-title:Discrete Event Dynamic Systems
language:en
Short-container-title:Discrete Event Dyn Syst

Author:

Bochmann Gregor v.

Publisher

Springer Science and Business Media LLC

Subject

Electrical and Electronic Engineering,Modeling and Simulation,Control and Systems Engineering

Link

http://link.springer.com/content/pdf/10.1007/s10626-011-0127-6.pdf

Reference34 articles.

1. Abadi M, Lamport L (1995) Conjoining specifications. ACM Trans Program Lang Syst 17(3):507–534

2. Aho AV, Sethi R, Ullman JD (1986) Compilers, principles, techniques and tools. Addison Wesley

3. Bhaduri P, Ramesh S (2008) Interface synthesis and protocol conversion. Form Asp Comput 20(2):205–224

4. Bochmann GV (2002a) Submodule construction and supervisory control: a generalization. In: Proc of int conf on implementation and applications of automata (invited paper). Springer Lecture Notes

5. Bochmann GV (2002b) Submodule construction for specifications with input assumptions and output guarantees. In: Proc FORTE’02 (22st IFIP WG 6.1 international conference on formal techniques for networked and distributed systems). Chapman & Hall

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

1. The Quotient in Preorder Theories;Electronic Proceedings in Theoretical Computer Science;2020-09-20

2. Synthesizing and verifying controllers for multi-lane traffic maneuvers;Formal Aspects of Computing;2017-07

3. Component-Based Design by Solving Language Equations;Proceedings of the IEEE;2015-11

4. Synthesizing Controllers for Multi-lane Traffic Maneuvers;Dependable Software Engineering: Theories, Tools, and Applications;2015