G. Winskel and M. Nielsen. Models for concurrency. In Abramsky, Gabbay, and Maibaum, editors, Handbook of Logic in Computer Science, volume IV, pages 1--148. Oxford University Press, 1995.  Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Basic Research in Computer Science - Probabilistic Event Structures Self-citation (Winskel) (Correct)
No context found.
Glynn Winskel and Mogens Nielsen. Models for concurrency. In Handbook of logic in Computer Science, volume 4. Clarendon Press, 1995. A Domain Theory and Measure Theory---Basic Notions A.1 Domain Theory We briefly recall some basic notions of domain theory (see e.g. [AJ94]). A directed complete partial order (DCPO) is a partial order where every directed set Y has a least upper bound
Domain Theory for Concurrency - Glynn (2003) (1 citation) Self-citation (Winskel) (Correct)
No context found.
G. Winskel and M. Nielsen. Models for concurrency. In S. Abramsky et al, editors. Handbook of Logic in Computer Science. Volume 4. Semantic Modelling. Oxford University Press, 1995.
Secure Composition of Insecure Components - Sewell, Vitek (1999) (23 citations) (Correct)
No context found.
G. Winskel and M. Nielsen. Models for concurrency. In Abramsky, Gabbay, and Maibaum, editors, Handbook of Logic in Computer Science, volume IV, pages 1--148. Oxford University Press, 1995.
Models for Name-Passing Processes: Interleaving and Causal.. - Cattani, Sewell (2000) (4 citations) (Correct)
No context found.
G. Winskel and M. Nielsen. Models for concurrency. In Handbook of logic in computer science, Vol. 4, Oxford Sci. Publ., pages 1148. OUP, 1995.
Axiomatic Rewriting Theory I - A Diagrammatic Standardization.. - Mellies (2001) (Correct)
No context found.
M. Nielsen, G. Winskel. Models for concurrency. In Handbook of Logic in Computer Science, Abramsky, Gabbay, Maibaum editors, Oxford Science, 1995.
Axiomatic Rewriting Theory IV - A stability theorem in Rewriting.. - Mellies (1998) (1 citation) (Correct)
No context found.
G. Winskel, M. Nielsen, "Models for concurrency", in S. Abramsky et al, eds, Handbook of Logic in Computer Science, vol. 4, Semantic modelling, Oxford University Press, 1995.
Axiomatic Rewriting Theory I - A Diagrammatic Standardization.. - Mellies (2001) (Correct)
No context found.
M. Nielsen, G. Winskel. Models for concurrency. In Handbook of Logic in Computer Science, Abramsky, Gabbay, Maibaum editors, Oxford Science, 1995.
Asynchronous Games 2 - The true concurrency of innocence - Mellies (2004) (1 citation) (Correct)
No context found.
G. Winskel and M. Nielsen. Models for concurrency. In S. Abramsky, D. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science. Oxford University Press, 1995.
Towards a Mathematical Operational Semantics - Turi, Plotkin (1997) (53 citations) (Correct)
No context found.
G. Winskel and M. Nielsen. Models for concurrency. In S. Abramsky et al., editors, Handbook of logic in computer science, volume 4. Clarendon Press, Oxford, 1995. 12
Glass-Box and Black-Box Views on Object-Oriented.. - Bidoit, Hennicker.. (2004) (Correct)
No context found.
G. Winskel and M. Nielsen. Models of Concurrency. In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science. Vol. 4: Semantic Modelling, pages 1--148. Oxford University Press, Oxford, 1995.
Formalising Well-Behaved Components - Moschoyiannis, Shields.. (Correct)
No context found.
G. Winskel and M. Nielsen. Models for Concurrency. In S. Abramsky, D. Gabbay, and T. Maibaum, editors, Handbook of Logic in Computer Science, vol. 4, Semantic Modelling, pages 1-148. Oxford Science Publications, 1995.
Foundations of a Module Concept for Distributed Object Systems - Filipe (2000) (1 citation) (Correct)
No context found.
G. Winskel and M. Nielsen. Models for Concurrency. In S. Abramsky, D.M. Gabbay, and T.S.E. Maibaum, editors, Handbook of Logic in Computer Science, Vol. 4, Semantic Modelling, pages 1--148. Oxford Science Publications, 1995.
A Logical Framework for the Specification of Transactions - Extended Version.. (Correct)
No context found.
G. Winskel and M. Nielsen. Models for concurrency. In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, volume 4, pages 1--148. Oxford University Press, 1995.
Clculo de Processos - Mtodos De Programao (Correct)
No context found.
G. Winskel and M. Nielsen. Models for Concurrency. In S. Abramsky, D. M. Gabbay, and T. S. E. Gabbay, editors, Handbook of Logic in Computer Science (vol. 4)), pages 1148, 1995. 32
Journal of the Brazilian Computer Society - Special Issue On (Correct)
No context found.
Winskel G. & Nielsen M., Models for Concurrency , draft copy in 1994, to appear.
Domain Theory for Concurrency - Nygaard (2003) (1 citation) (Correct)
No context found.
G. Winskel and M. Nielsen. Models for concurrency. In S. Abramsky et al, editors. Handbook of Logic in Computer Science. Volume 4. Semantic Modelling. Oxford University Press, 1995.
Presheaf Models and Process Calculi - Nygaard (2002) (Correct)
No context found.
G. Winskel and M. Nielsen. Models for concurrency. In Handbook of Logic in Computer Science, vol 4, OUP, 1995. 27
Decidability and Complexity Issues for Infinite-State Processes - Srba (2003) (Correct)
No context found.
Winskel and M. Nielsen. Models for concurrency. In Handbook of Logic in Computer Science, volume 4, Semantic Modelling, pages 1--148. Oxford University Press, 1995.
Towards Abstractions for Distributed Systems - Berger (2004) (4 citations) (Correct)
No context found.
Glynn Winskel and Mogens Nielsen. Models for concurrency. In S. Abramsky, D. Gabbay, and T.S.E. Maibaum, editors, Handbook of Logic in Computer Science. Oxford University Press, 1995.
Labelled Transition Logic: An Outline - Astesiano, Reggio (1996) (1 citation) (Correct)
No context found.
G. Winskel and M. Nielsen. Models for Concurrency. Technical Report 492, DAIMI PB, 1992.
Domain Theory for Concurrency - Nygaard (2003) (1 citation) (Correct)
No context found.
G. Winskel and M. Nielsen. Models for concurrency. In S. Abramsky et al, editors. Handbook of Logic in Computer Science. Volume 4. Semantic Modelling. Oxford University Press, 1995.
A Logic-Based Formalization for Component Specification - Filipe (2002) (2 citations) (Correct)
No context found.
G. Winskel and M. Nielsen. Models for Concurrency. In S. Abramsky, D. Gabbay, and T. Maibaum, editors, Handbook of Logic in Computer Science, Vol. 4, Semantic Modelling, pages 1--148. Oxford Science Publications, 1995.
Towards Abstractions for Distributed Systems - Berger (2000) (4 citations) (Correct)
No context found.
Glynn Winskel and Mogens Nielsen. Models for concurrency. In S. Abramsky, D. Gabbay, and T.S.E. Maibaum, editors, Handbook of Logic in Computer Science. Oxford University Press, 1995.
Revisiting the Categorical Approach to Systems - Lopes, Fiadeiro (2002) (Correct)
No context found.
. G.Winskel and M.Nielsen, "Models for Concurrency", Handbook of Logic in Computer Science, S.Abramsky, D.Gabbay and T.Maibaum (eds), Vol.4, 1-148, Oxford University Press1995.
On Concurrent Realization of Reactive Systems - And Their Morphisms (Correct)
No context found.
G. Winskel and M. Nielsen. Models for concurrency. In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, eds., Handbook of Logic in Computer Science; Semantic Modeling , vol. 4, pp. 1--148. Oxford University Press, 1994. 34
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC