论文信息 - Modal Specifications - 字舞流文

Modal Specifications

Kim G. Larsen | K. Larsen

[1] Jan Friso Groote,et al. Structural Operational Semantics and Bisimulation as a Congruence (Extended Abstract) , 1989, ICALP.

[2] Kim G. Larsen,et al. A modal process logic , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

[3] Kim G. Larsen,et al. Proof System for Hennessy-Milner Logic with Recursion , 1988, CAAP.

[4] Robert E. Tarjan,et al. Three Partition Refinement Algorithms , 1987, SIAM J. Comput..

[5] Samson Abramsky,et al. Observation Equivalence as a Testing Equivalence , 1987, Theor. Comput. Sci..

[6] Kim G. Larsen,et al. A Context Dependent Equivalence Between Processes , 1985, Theor. Comput. Sci..

[7] Joseph Sifakis,et al. A Logic for the Description of Non-deterministic Programs and Their Properties , 1986, Inf. Control..

[8] Robert de Simone,et al. Higher-Level Synchronising Devices in Meije-SCCS , 1985, Theor. Comput. Sci..

[9] Robin Milner,et al. Algebraic laws for nondeterminism and concurrency , 1985, JACM.

[10] Scott A. Smolka,et al. CCS expressions, finite state processes, and three problems of equivalence , 1983, PODC '83.

[11] Robin Milner,et al. Calculi for Synchrony and Asynchrony , 1983, Theor. Comput. Sci..

[12] David Park,et al. Concurrency and Automata on Infinite Sequences , 1981, Theoretical Computer Science.

[13] A. Tarski. A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS , 1955 .