SCOPUS 정보 검색 플랫폼

Volumn 254, Issue 1-2, 2001, Pages 95-149

Quantales, finite observations and strong bisimulation

Author keywords

Behavioural equivalence; Concurrent processes; Finite observations and finitely observable properties; Modules and tropological systems; Quantales; Strong bisimulation

Indexed keywords

CONCURRENT ENGINEERING; EQUIVALENCE CLASSES;

IMAGE-COMPUTABLE LABELLED TRANSITION SYSTEMS;

COMPUTER SIMULATION;

EID: 0034923815 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(99)00123-1 Document Type: Article

Times cited : (41)

References (34)

1
- 0004497639
- Ph.D. Thesis, Queen Mary College, University of London
- (1987) Domain theory and the logic of observable properties
- Abramsky, S.¹

2
- 0023532827
- Observation equivalence as a testing equivalence
- (1987) Theoret. Comput. Sci. , vol.53 , pp. 225-241
- Abramsky, S.¹

3
- 0026171162
- A domain equation for bisimulation
- (1991) Inform. Comput. , vol.92 , pp. 161-218
- Abramsky, S.¹

4
- 19144373216
- Domain theory in logical form
- (1991) Ann. Pure Appl. Logic , vol.51 , pp. 1-77
- Abramsky, S.¹

5
- 84972211604
- Quantales, observational logic and process semantics
- (1993) Math. Struct. Comput. Sci. , vol.3 , pp. 161-227
- Abramsky, S.¹ Vickers, S.²

6
- 21144472803
- Verification and comparison of transition systems
- M.-C. Gaudel, J.-P. Jouannaud (Eds.), Proc. TAPSOFT'93, Springer, Berlin
- (1993) Lecture Notes in Computer Science , pp. 121-135
- Arnold, A.¹

7
- 85029830028
- Bisimulation can't be traced (preliminary report)
- (1988) Conf. Record of the 15th ACM Symp. on Principles of Programming Languages , pp. 229-239
- Bloom, B.¹ Istrail, S.² Meyer, A.R.³

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

9
- 0004232136
- Cambridge University Press, Cambridge
- (1990) Introduction to Lattices and Order
- Davey, B.¹ Priestley, H.²

10
- 84919345149
- The linear time-branching time spectrum
- J.C.M. Baeten, J.W. Klop (Eds.), Proc. CONCUR'90, Springer, Berlin
- (1990) Lecture Notes in Computer Science , vol.458 , pp. 278-297
- Van Glabbeek, R.J.¹

11
- 84858485761
- The linear time-branching time spectrum II; the semantics of sequential systems with silent moves
- Tech. Report, Stanford University, 1993. Extended abstract, E. Best (Ed.), Proc. CONCUR'93, Springer, Berlin
- (1993) Lecture Notes in Computer Science , vol.715 , pp. 66-81
- Van Glabbeek, R.J.¹

12
- 85031621453
- Petri net models for algebraic theories of concurrency
- J.W. de Bakker, A.J. Nijman, P.C. Treleaven (Eds.), Proc. PARLE'87, Vol. II (Parallel Languages), Springer, Berlin
- (1987) Lecture Notes in Computer Science , vol.259 , pp. 224-242
- Van Glabbeek, R.J.¹ Vaandrager, F.²

13
- 0030143334
- Branching time and abstraction in bisimulation semantics
- (1996) J. ACM , vol.43 , pp. 555-600
- Van Glabbeek, R.J.¹ Weijland, P.²

14
- 0027666919
- Transition system specifications with negative premises
- (1993) Theoret. Comput. Sci. , vol.118 , pp. 263-299
- Groote, J.F.¹

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

16
- 0004189966
- The MIT Press, Cambridge, MA
- (1988) Algebraic Theory of Processes
- Hennessy, M.¹

17
- 0021974161
- Algebraic laws for nondeterminism and concurrency
- (1985) J. ACM , vol.32 , pp. 137-161
- Hennessy, M.¹ Milner, R.²

18
- 0003843704
- Prentice-Hall, New York
- (1985) Communicating Sequential Processes
- Hoare, C.A.R.¹

19
- 0004072372
- Cambridge University Press, Cambridge
- (1982) Stone Spaces
- Johnstone, P.¹

20
- 0004171595
- American Mathematical Society, Providence, RI
- (1984) An Extension of the Galois Theory of Grothendieck, Memoirs of the AMS , vol.309
- Joyal, A.¹ Tierney, M.²

21
- 0026222347
- Bisimulation through probabilistic testing
- (1991) Inform. Comput. , vol.94 , pp. 1-28
- Larsen, K.G.¹ Skou, A.²

22
- 0003969139
- Springer, New York
- (1971) Categories for the Working Mathematician
- Mac Lane, S.¹

23
- 84990660292
- A modal characterisation of observable machine behaviour
- G. Astesiano, C. Bohm (Eds.), Proc. CAAP 81, Springer, Berlin
- (1981) Lecture Notes in Computer Science , vol.112 , pp. 25-34
- Milner, R.¹

24
- 0003954103
- Prentice-Hall, New York
- (1989) Communication and Concurrency
- Milner, R.¹

25
- 0002821406
- (1986) Rend. Circ. Mat. Palermo , Issue.2 SUPPL. 12 , pp. 99-104
- Mulvey, C.¹

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

27
- 84945924340
- Concurrency and automata on infinite sequences
- P. Deussen (Ed.), 5th GI Conference, Springer, Berlin
- (1981) Lecture Notes in Computer Science , vol.104 , pp. 167-183
- Park, D.M.R.¹

28
- 0023585925
- Refusal testing
- (1987) Theoret. Comput. Sci. , vol.50 , pp. 241-284
- Phillips, I.¹

29
- 0004541594
- Observational system specification
- R. Wieringa, R. Feenstra (Eds.), World Scientific, Singapore
- (1995) Selected Papers of ISCORE'94 , pp. 135-151
- Resende, P.¹

30
- 84859537077
- Ph.D. Thesis, Universidade Técnica de Lisboa
- (1997) Tropological systems and observational logic in concurrency and specification
- Resende, P.¹

31
- 84957667918
- Modular specification of concurrent systems with observational logic
- J.L. Fiadeiro (Ed.), Proc. WADT'98, Springer, Berlin
- (1999) Lecture Notes in Computer Science , vol.1589 , pp. 307-321
- Resende, P.¹

32
- 0004205591
- Longman Scientific & Technical, London
- (1990) Quantales and their Applications
- Rosenthal, K.¹

33
- 0003923505
- Cambridge University Press, Cambridge
- (1989) Topology Via Logic
- Vickers, S.¹

34
- 0041376906
- Models for concurrency
- Oxford University Press, Oxford. A draft appeared as BRICS Report RS-94-12, 1994
- (1995) Handbook of Logic in Computer Science , vol.4
- Winskel, G.¹ Nielsen, M.²

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