SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Information and Computation

Volumn 72, Issue 3, 1987, Pages 197-238

Petri nets, algebras, morphisms, and compositionality

(1) Winskel, Glynn a

a UNIVERSITY OF CAMBRIDGE (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 45949126084 PISSN: 08905401 EISSN: 10902651 Source Type: Journal
DOI: 10.1016/0890-5401(87)90032-0 Document Type: Article

Times cited : (135)

References (32)

1
- 0000104965
- An introduction to inductive definitions
- J. Barwise, North-Holland, Amsterdam
- (1983) Handbook of Mathematical Logic
- Aczel¹

2
- 0003507355
- Academic Press
- (1975) Arrows, Structures and Functors, The categorical imperative
- Arbib¹ Manes²

3
- 84913385232
- (1982) Formal semantics of programming languages, preliminary version
- Arbib¹ Manes²

4
- 2942616579
- Net Theory and Applications
- Springer-Verlag, Berlin/New York
- (1980) Lecture Notes in Comput. Sci. , vol.84
- Brauer¹

5
- 17844396569
- Petri nets and algebraic calculi of processes
- Lect. Notes in Comput. Sci., Springer-Verlag, New York/Berlin
- (1985) Advances in Petri Nets , vol.188
- Boudol¹ Rucairol² de Simone³

6
- 84976749912
- The Specification of Process Synchronisation by Path Expressions
- Springer-Verlag, New York/Berlin
- (1974) Lecture Notes in Comput. Sci. , vol.16
- Campbell¹ Habermann²

7
- 85034859248
- Hungarian Academy of Sciences, working paper of Comput. and Automation Institute
- (1979) Grammatical Projections
- Györy¹ Knuth² Romai³

8
- 84913393258
- Processes of place transition nets
- Inform. Control, in press
- (1983) Int. Colloq. Automata Lang. and Program. 83
- Goltz¹ Reisig²

9
- 0012673690
- On the relationship of CCS and Petri Nets
- Lecture Notes in Comput. Sci., Springer-Verlag, New York/Berlin
- (1984) Int. Colloq. Automata Lang. and Program. 84 , vol.172
- Goltz¹ Mycroft²

10
- 0018005391
- Communicating sequential processes
- (1978) Communications of the ACM , vol.21
- Hoare¹

11
- 84913409901
- Programming Research Group, University of Oxford, (1981)
- (1981) A Theory of Communicating Processes
- Hoare¹ Brookes² Roscoe³

12
- 84913385230
- (1984) J. Assoc. Comput. Mach.
- Hoare¹ Brookes² Roscoe³

13
- 84913410286
- University of Aarhus, Denmark, DAIMI PB-104, Report of Comput. Sci. Dept.
- (1979) Coloured Petri Nets and the Invariant Method
- Jensen¹

14
- 84913385229
- University of Aarhus, Denmark, DAIMI PB-151, Report of Comput. Sci. Dept.
- (1982) Hig Level Petri Nets
- Jensen¹

15
- 0016593042
- Formal semantics for a class of high-level primitives for coordinating concurrent processes
- (1974) Acta Inform. , vol.5 , pp. 297-332
- Lauer¹ Campbell²

16
- 0004280509
- Springer, New York, Graduate Texts in Mathematics
- (1971) Categories for the Working Mathematician
- Maclane¹

17
- 0003862813
- Computer Sci. Dept., University of Aarhus, Denmark, Report PB-78
- (1977) Concurrent Program Schemes and Their Interpretations
- Mazurkiwicz¹

18
- 84913385228
- Functional behaviour of nondeterministic programs
- Lecture Notes in Comput. Sci., Springer-Verlag
- (1983) Proceedings, FCT Found. Comput. Theory 83 , vol.158
- Main¹ Benson²

19
- 0003630836
- Calculus of Communicating Systems
- Springer-Verlag, New York/Berlin
- (1980) Lecture Notes in Comput. Sci. , vol.92
- Milner¹

20
- 0001530725
- Calculi for synchrony and asynchrony
- (1983) Theoret. Comput. Sci. , vol.25 , pp. 267-310
- Milner¹

21
- 84913385227
- Nielsen, M., and Winskel, G. (in preparation), Compositional reasoning about invariants in Petri nets.

22
- 84865759265
- Petri nets, event structures and domains
- Evian, France, Lecture Notes in Comput. Sci., Springer-Verlag, Berlin/New York
- (1979) Proceedings, Conf. on the Semantics of Concurrent Computation , vol.70
- Nielsen¹ Plotkin² Winskel³

23
- 0002020287
- Petri nets event structures and domains
- part 1
- (1981) Theoretical Computer Science , vol.13
- Nielsen¹ Plotkin² Winskel³

24
- 0003418449
- Prentice-Hall, Englewood Cliffs, N. J
- (1981) Petri Net Theory and the Modelling of Systems
- Peterson¹

25
- 0004006992
- Springer, New York/Berlin
- (1984) Petri Nets, EATCS Monographs on Theoret. Comput. Sci. , vol.4
- Reisig¹

26
- 84913349420
- Dept. of Comp. Sci., University of Aachen, W. Germany
- (1984) Predicate/transition nets as abstract data types, unpublished note
- Reisig¹

27
- 84913385226
- Student projects for the course “Models for Concurrency,” (1980), given by M. Nielsen and G. Winskel, Computer Science Dept., University of Aarhus, Denmark.

28
- 0004261729
- Events in Computation
- University of Edinburgh
- (1980) Ph. D. thesis
- Winskel¹

29
- 85034211340
- Event structure semantics of CCS and related languages
- Springer-Verlag, New York/Berlin, report, Computer Sci. Dept., University of Aarhus, Denmark
- (1982) Lecture Notes in Comput. Sci. , vol.140
- Winskel¹

30
- 84913396307
- Synchronisation trees
- May
- (1985) Theoret. Comput. Sci.
- Winskel¹

31
- 85023126422
- A new definition of morphism on Petri nets
- Springer-Verlag, New York/Berlin
- (1984) Lecture Notes in Comput. Sci. , vol.166
- Winskel¹

32
- 0039347634
- Categories of models for concurrency
- Carnegie-Mellon University, Pittsburgh, July, Lecture Notes in Computer Science, Springer-Verlag, New York/Berlin, report, Computer Laboratory, University of Cambridge
- (1984) Proceedings, Workshop on the Semantics of Concurrency , vol.197
- Winskel¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.