SCOPUS 정보 검색 플랫폼

Theoretical Computer Science

Volumn 281, Issue 1-2, 2002, Pages 369-421

A truly concurrent semantics for a process algebra using resource pomsets

(2) Gastin, Paul a Mislove, Michael b

a UNIVERSITÉ PARIS DIDEROT (France)

b Tulane University (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTATION THEORY; COMPUTER PROGRAMMING LANGUAGES; CONCURRENCY CONTROL; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; SET THEORY; SYNCHRONIZATION;

OPERATIONAL SEMANTICS;

SEMANTICS;

EID: 0037014256 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(02)00021-X Document Type: Article

Times cited : (7)

References (19)

1
- 0001847686
- Domain theory
- Clarendon Press, Oxford
- (1995) Handbook of Computer Science and Logic , vol.3
- Abramsky, S.¹ Jung, A.²

2
- 0021465083
- A theory of communicating sequential processes
- (1984) JACM , vol.31 , pp. 560-599
- Brookes, S.D.¹ Hoare, C.A.R.² Roscoe, A.W.³

3
- 0032335723
- Approximating traces
- (1998) Acta Informatica , vol.35 , pp. 567-593
- Diekert, V.¹ Gastin, P.²

4
- 0004024352
- World Scientific, Singapore
- (1995) The Book of Traces
- Diekert, V.¹ Rozenberg, G.²

5
- 0009751824
- A truly concurrent semantics for a simple parallel programming language
- J. Flum, M. Rodríguez-Artalejo (Eds.), Lecture Notes in Computer Science
- (1999) Proceedings of the Annual Conference of the European Association for Computer Science Logic (CSL'99) , vol.1683 , pp. 515-529
- Gastin, P.¹ Mislove, M.W.²

6
- 85083147396
- A truly concurrent semantics for a simple parallel programming language
- journal version, to appear
- Mathematical Structures for Computer Science
- Gastin, P.¹ Mislove, M.W.²

7
- 85083129134
- Resource traces: A domain for processes sharing exclusive resources
- to appear
- Theoret. Comput. Sci.
- Gastin, P.¹ Teodesiu, D.²

8
- 0004011095
- Springer Berlin, Heidelberg, New York
- (1980) A Compendium of Continuous Lattices
- Gierz, G.¹ Hofmann, K.H.² Keimel, K.³ Lawson, J.⁴ Mislove, M.⁵ Scott, D.⁶

9
- 85034261970
- Full abstraction for a simple parallel programming language
- Springer, Berlin
- (1979) Lecture Notes in Computer Science , vol.74
- Hennessy, M.¹ Plotkin, G.D.²

10
- 85034819445
- Trace theory
- M.P. Chytil et al. (Eds.), Lecture Notes in Computer Science
- (1987) Proceedings of the 11th Symposium on Mathematical Foundations of Computer Science (MFCS'84) , vol.255 , pp. 279-324
- Mazurkiewicz, A.¹

11
- 0003630836
- A Calculus for Communicating Systems
- (1980) Lecture Notes in Computer Science , vol.92
- Milner, R.¹

12
- 0029405907
- Full abstraction and recursion
- (1995) Theoret. Comput. Sci. , vol.151 , pp. 207-256
- Mislove, M.W.¹ Oles, F.J.²

13
- 85083125531
- Algebraic posets, algebraic cpos and models of concurrency
- G. M. Reed, A.W. Roscoe, R.F. Wachter (Eds.), Oxford University Press, Oxford
- (1990) Topology and Computer Science
- Mislove, M.W.¹

14
- 85023084456
- On the composition of processes
- (1982) Proceedings of the 9th ACM POPL , pp. 213-223
- Pratt, V.R.¹

15
- 34250124963
- Modelling concurrency with partial orders
- (1987) J. Parallel Programming , vol.15 , pp. 33-71
- Pratt, V.R.¹

16
- 0003931061
- A structural approach to operational semantics
- (1981) Report DAIMI-FN-19
- Plotkin, G.D.¹

17
- 0003247904
- Petri nets
- Springer, Berlin
- (1985) EATCS Monographs in Theoretical Computer Science , vol.4
- Reisig, W.¹

18
- 0029232082
- CSP and determinism in security modelling
- IEEE Computer Society Press
- (1995) Proceedings of the 1995 IEEE Symposium on Security and Privacy
- Roscoe, A.W.¹

19
- 0004261729
- Ph.D. Thesis, University of Cambridge
- (1980) Events in Computation
- Winskel, G.¹

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