A Categorial View of Process Refinement
暂无分享,去创建一个
[1] Nissim Francez,et al. Decomposition of Distributed Programs into Communication-Closed Layers , 1982, Sci. Comput. Program..
[2] Roberto Gorrieri,et al. Atomic Refinement in Process Description Languages , 1991, MFCS.
[3] Luca Aceto,et al. Towards action-refinement in process algebras , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
[4] Grzegorz Rozenberg,et al. Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency , 1988, Lecture Notes in Computer Science.
[5] Grzegorz Rozenberg,et al. Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness , 1989, Lecture Notes in Computer Science.
[6] Glynn Winskel,et al. Event Structures , 1986, Advances in Petri Nets.
[7] Willem P. de Roever,et al. Designing Distributed Algorithms by Means of Formal Sequentially Phased Reasoning (Extended Abstract) , 1989, WDAG.
[8] K. Mani Chandy,et al. Parallel program design - a foundation , 1988 .
[9] Rocco De Nicola,et al. Partial orderings descriptions and observations of nondeterministic concurrent processes , 1988, REX Workshop.
[10] K. Mani Chandy. Parallel program design , 1989 .
[11] Kim S. Larsen,et al. Fully abstract models for a process language with refinement , 1988, REX Workshop.
[12] Philippe Darondeau,et al. Event Structures, Causal Trees, and Refinements , 1990, MFCS.
[13] Ursula Goltz,et al. Equivalence Notions for Concurrent Systems and Refinement of Actions (Extended Abstract) , 1989, MFCS.
[14] Glynn Winskel,et al. Petri Nets, Event Structures and Domains, Part I , 1981, Theor. Comput. Sci..
[15] Glynn Winskel,et al. Domain Theoretic Models of Polymorphism , 1989, Inf. Comput..
[16] Mannes Poel,et al. Action Systems and Action Refinement in the Development of Parallel Systems - An Algebraic Approach , 1991, CONCUR.
[17] Pierre A. Humblet,et al. A Distributed Algorithm for Minimum-Weight Spanning Trees , 1983, TOPL.