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

메뉴 건너뛰기

Theoretical Computer Science

Volumn 274, Issue 1-2, 2002, Pages 183-230

From rewrite rules to bisimulation congruences

(1) Sewell, Peter a

a UNIVERSITY OF CAMBRIDGE (United Kingdom)

Author keywords

Bisimulation; Labelled transition systems; Operational congruences; Operational semantics; Process calculi; Term rewriting

Indexed keywords

COMPUTER SCIENCE; COMPUTER SIMULATION; LOGIC PROGRAMMING;

LABELLED TRANSITION SYSTEMS; OPERATIONAL CONGRUENCES;

SEMANTICS;

EID: 0037028904 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(00)00309-1 Document Type: Conference Paper

Times cited : (42)

References (42)

1
- 0030643343
- A calculus for cryptographic protocols: The spi calculus
- Zürich, ACM Press, New York, April
- (1997) Proc. 4th ACM Conf. on Computer and Communications Security , pp. 36-47
- Abadi, M.¹ Gordon, A.D.²

2
- 0000451579
- Full abstraction in the lazy lambda calculus
- (1993) Inform. and Comput. , vol.105 , pp. 159-267
- Abramsky, S.¹ Ong, L.²

3
- 0002138243
- Turning SOS rules into equations
- (1994) Inform. and Comput. , vol.111 , Issue.1 , pp. 1-52
- Aceto, L.¹ Bloom, B.² Vaandrager, F.³

4
- 0003650163
- Cambridge University Press, New York
- (1998) Term Rewriting and All That
- Baader, F.¹ Nipkow, T.²

5
- 0008585325
- Technical Report No. 566, INRIA
- (1986) A new computational model and its discipline of programming
- Banâtre, J.-P.¹ Le Métayer, D.²

6
- 0000463260
- A congruence theorem for structured operational semantics of higher-order languages
- (1998) Proc. LICS , vol.98
- Bernstein, K.L.¹

7
- 0027113388
- The chemical abstract machine
- (1992) Theoret. Comput. Sci. , vol.96 , pp. 217-248
- Berry, G.¹ Boudol, G.²

8
- 0029229420
- Bisimulation can't be traced
- (1995) J. ACM , vol.42 , Issue.1 , pp. 232-268
- Bloom, B.¹ Istrail, S.² Meyer, A.R.³

9
- 0030681154
- The π-calculus in direct style
- 15-17 January
- (1997) Proc. 24th POPL , pp. 228-241
- Boudol, G.¹

10
- 84947919695
- Mobile ambients
- Proc. Foundations of Software Science and Computation Structures, FoSSaCS, ETAPS'98, Springer, Berlin, March
- (1998) Lecture Notes in Computer Science , vol.1378 , pp. 140-155
- Cardelli, L.¹ Gordon, A.D.²

11
- 0000201980
- A categorical axiomatics for bisimulation
- Proc. CONCUR '98: Concurrency Theory, Nice, Springer, Berlin, September
- (1998) Lecture Notes in Computer Science , vol.1466
- Cattani, G.L.¹ Power, A.J.² Winskel, G.³

12
- 0020845493
- Testing equivalences for processes
- (1984) Theoret. Comput. Sci. , vol.34 , pp. 83-133
- De Nicola, R.¹ Hennessy, M.C.B.²

13
- 0022186092
- Higher-level synchronising devices in MEIJE-SCCS
- (1985) Theoret. Comput. Sci. , vol.37 , pp. 245-267
- De Simone, R.¹

14
- 0008606732
- Technical Report DAIMI PB-208, Computer Science Department, University of Aarhus, Denmark
- (1986) A calculus of communicating systems with label-passing
- Engberg, U.¹ Nielsen, M.²

15
- 0002193891
- Control operators, the SECD-machine and the λ-calculus
- North-Holland, Amsterdam
- (1986) Formal Description of Programming Concepts III , pp. 193-217
- Felleisen, M.¹ Friedman, D.P.²

16
- 0029706586
- A theory of weak bisimulation for core CML
- ACM Press, New York
- (1996) Proc. ACM SIGPLAN Internat. Conf. Functional Programming
- Ferreira, W.¹ Hennessy, M.² Jeffrey, A.³

17
- 0029703268
- The reflexive CHAM and the join-calculus
- ACM Press, New York, January
- (1996) Proc. 23rd POPL , pp. 372-385
- Fournet, C.¹ Gonthier, G.²

18
- 0003364293
- The tile model
- G. Plotkin, C. Stirling, M. Tofte (Eds.), MIT Press, Cambridge, MA
- (2000) Proof, Language and Interaction: Essays in Honour of Robin Milner
- Gadducci, F.¹ Montanari, U.²

19
- 84919345149
- The linear time - Branching time spectrum
- Proc. CONCUR '90, Springer, Berlin
- (1990) Lecture Notes in Computer Science , vol.458 , pp. 278-297
- Van Glabbeek, R.J.¹

20
- 84858485761
- The linear time - Branching time spectrum II; The semantics of sequential systems with silent moves
- Proc. CONCUR'93, Springer, Berlin
- (1993) Lecture Notes in Computer Science , vol.715 , pp. 66-81
- Van Glabbeek, R.J.¹

21
- 19044401072
- Bisimilarity as a theory of functional programming. Mini-course
- Computer Science Department, Aarhus
- (1995) Number NS-95-3 in the BRICS Notes Series
- Gordon, A.D.¹

22
- 0029709488
- Bisimilarity for a first-order calculus of objects with subtyping
- (1996) Proceedings of the 23rd POPL , pp. 386-395
- Gordon, A.D.¹ Rees, G.D.²

23
- 0000198242
- Structured operational semantics and bisimulation as a congruence
- (1992) Inform. Comput. , vol.100 , Issue.2 , pp. 202-260
- Groote, J.F.¹ Vaandrager, F.W.²

24
- 0029404929
- On reduction-based process semantics
- (1995) Theoret. Comput. Sci. , vol.152 , Issue.2 , pp. 437-486
- Honda, K.¹ Yoshida, N.²

25
- 0024897313
- Equality in lazy computation systems
- (1989) Proc. LICS '89 , pp. 193-203
- Howe, D.J.¹

26
- 0008539245
- Ph.D. Thesis, University of Edinburgh
- (1996) Control Structures
- Mifsud, A.¹

27
- 44049113210
- A calculus of mobile processes, Parts I + II
- (1992) Inform. and Comput. , vol.100 , Issue.1 , pp. 1-77
- Milner, R.¹ Parrow, J.² Walker, D.³

28
- 84976193394
- Functions as processes
- (1992) J. Math. Struct. Comput. Sci. , vol.2 , Issue.2 , pp. 119-141
- Milner, R.¹

29
- 0030517494
- Calculi for interaction
- (1996) Acta Inform. , vol.33 , pp. 707-737
- Milner, R.¹

30
- 84968816021
- Barbed bisimulation
- Proc. 19th ICALP, Springer, Berlin
- (1992) Lecture Notes in Computer Science , vol.623 , pp. 685-695
- Milner, R.¹ Sangiorgi, D.²

31
- 0001025476
- Dynamic congruence vs. progressing bisimulation for CCS
- (1992) Fund. Inform. , vol.16 , pp. 171-199
- Montanari, U.¹ Sassone, V.²

32
- 84947915485
- Constraints for free in concurrent computation
- Proc. Asian Comput. Sci. Conf., Springer, Berlin
- (1995) Lecture Notes in Computer Science , vol.1023 , pp. 171-186
- Niehren, J.¹ Mueller, M.²

33
- 0003931061
- Technical Report DAIMI FN-19, Computer Science Department, Aarhus University, Aarhus, Denmark
- (1981) A structural approach to operational semantics
- Plotkin, G.D.¹

34
- 0003140279
- A typed language for distributed mobile processes
- January
- (1998) Proc. 25th POPL
- Riely, J.¹ Hennessy, M.²

35
- 0003967839
- Ph.D. Thesis, University of Edinburgh
- (1993) Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms
- Sangiorgi, D.¹

36
- 84957879444
- On implementations and semantics of a concurrent programming language
- Proc. CONCUR '97, Springer, Berlin
- (1997) Lecture Notes in Computer Science , vol.1243 , pp. 391-405
- Sewell, P.¹

37
- 4244199766
- Technical Report No. 444, University of Cambridge, June
- (1998) From rewrite rules to bisimulation congruences
- Sewell, P.¹

38
- 84945974793
- From rewrite rules to bisimulation congruences
- Proc. CONCUR '98: Concurrency Theory, Nice, Springer, Berlin, September
- (1998) Lecture Notes in Computer Science , vol.1466 , pp. 269-284
- Sewell, P.¹

39
- 84878539063
- Global/local subtyping and capability inference for a distributed π-calculus
- Proc. ICALP '98, Springer, Berlin
- (1998) Lecture Notes in Computer Science , vol.1443 , pp. 695-706
- Sewell, P.¹

40
- 0008578066
- Bisimilarity of open terms
- Full report version: Hildesheimer Informatik-Bericht 5/97, University of Hildesheim, May 1997
- (1997) Expressiveness in Concurrency
- Rensink, A.¹

41
- 0030684322
- Towards a mathematical operational semantics
- IEEE Computer Society Press, Silver Spring, MD
- (1997) Proc. 12th LICS Conf. , pp. 280-291
- Turi, D.¹ Plotkin, G.D.²

42
- 0004112348
- Ph.D. Thesis, Vrije Universiteit, Amsterdam
- (1996) Confluence and normalisation for higher-order rewriting
- Van Raamsdonk, F.¹

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