Using first-order logic to reason about submodule construction

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5522 LNCS, Issue , 2009, Pages 213-218

  Bochmann, Gregor V ^a  

^a UNIVERSITY OF OTTAWA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EQUATION SOLVING; FIRST ORDER LOGIC; FOLLOWING PROBLEM; GLOBAL BEHAVIORS; LABELED TRANSITION SYSTEMS; PROOF OF CORRECTNESS; SUBMODULES; TWO-COMPONENT;

FORMAL METHODS; SPECIFICATIONS;

MODEL CHECKING; FORMAL LOGIC;

EID: 70349311583     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02138-1_14     Document Type: Conference Paper

References (5)

1. Bochmann, G.V., Merlin, P.M.: On the construction of communication protocols. In: ICCC, pp. 371-378 (1980); reprinted in Communication Protocol Modeling, Sunshine, C.(ed.). Artech House Publ., (1981); russian translation: Problems of Intern. Center for Science and Techn. Information, vol. 2, Moscow, pp. 146-155 (1981)
2. Merlin, P., Bochmann, G.V.: On the Construction of Submodule Specifications and Communication Protocols. ACM Trans. on Programming Languages and Systems 5(1), 1-25 (1983)
3. Extended version of this paper, http://www.site.uottawa.ca/ ̃bochmann/dsrg/PublicDocuments/ Publications/Boch09a.pdf
4. Ramadge, P.J.G., Wonham, W.M.: The control of discrete event systems. Proceedings of the IEEE 77(1) (January 1989)
5. Bochmann, G.V.: Submodule construction - the inverse of composition (submitted)