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

메뉴 건너뛰기

Theoretical Computer Science

Volumn 269, Issue 1-2, 2001, Pages 47-82

On the semantics of durational actions

(3) Corradini, Flavio a Ferrari, GianLuigi b Pistore, Marco c

a UNIVERSITY OF L'AQUILA (Italy)

b UNIVERSITY OF PISA (Italy)

c ITC IRST (Italy)

Author keywords

Observational theories; Process calculi; Reduction semantics; Structural operational semantics

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER SIMULATION; SEMANTICS;

REDUCTION SEMANTICS;

COMPUTER SCIENCE;

EID: 0035965489 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(00)00375-3 Document Type: Article

Times cited : (9)

References (34)

1
- 38249001732
- Towards action refinement in process algebra
- (1993) Inform. and Comput. , vol.103 , Issue.2 , pp. 204-269
- Aceto, L.¹ Hennessy, M.²

2
- 0030552759
- Timing and causality in process algebra
- (1996) Acta Inform. , vol.33 , Issue.4 , pp. 317-350
- Aceto, L.¹ Murphy, D.²

3
- 0001569424
- Real time process algebra
- (1991) Formal Aspects Comput. , vol.3 , pp. 142-188
- Baeten, J.¹ Bergstra, J.²

4
- 84947908424
- Real space process algebra
- Proc. CONCUR'91, Springer, Berlin
- (1991) Lecture Notes in Computer Science , vol.527
- Baeten, J.¹ Bergstra, J.²

5
- 0001786535
- A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems
- (1998) Inform. and Comput. , vol.144 , pp. 83-154
- Bernardo, M.¹ Donatiello, L.² Gorrieri, R.³

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

7
- 0002733108
- Compositionality for processes with durational actions
- A. De Sanctis (Eds.), World Scientific, Singapore
- (1995) Proc. 5th ICTCS
- Corradini, F.¹

8
- 0000992073
- On performance congruences for process algebras
- (1998) Inform. and Comput. , vol.145 , pp. 191-230
- Corradini, F.¹

9
- 0034627951
- Absolute versus relative time in process algebras
- (2000) Inform. and Comput. , vol.156 , Issue.1 , pp. 122-172
- Corradini, F.¹

10
- 0002875738
- Eager, busy-waiting and lazy actions in timed computations
- C. Palamidessi, J. Parrow (Eds.), Elsevier, Amsterdam
- (1997) Proc. EXPRESS'97 Electronic Notes on Theoretical Computer Science , vol.7
- Corradini, F.¹ Ferrari, G.² Pistore, M.³

11
- 0031269087
- Performance preorder and competitive equivalence
- (1997) Acta Inform. , vol.34 , Issue.11 , pp. 805-835
- Corradini, F.¹ Gorrieri, R.² Roccetti, M.³

12
- 84947901345
- Specification and verification of timed lazy systems
- Proc. MFCS'96, Springer, Berlin
- (1996) Lecture Notes in Computer Science , vol.1113
- Corradini, F.¹ Pistore, M.²

13
- 84878649570
- Mobile processes with local clocks
- Proc. Workshop on Analisis and Verification of Multiple-Agents Languages, Springer, Berlin
- (1996) Lecture Notes in Computer Science , vol.1192
- Degano, P.¹ Loddo, J.V.² Priami, C.³

14
- 84957800687
- Dynamic matrices and the cost analysis of concurrent programs
- Proc. AMAST'95, Springer, Berlin
- (1995) Lecture Notes in Computer Science , vol.936
- Ferrari, G.¹ Montanari, U.²

15
- 85031621453
- Petri nets models for algebraic theories of concurrency
- Proc. PARLE'87, Springer, Berlin
- (1987) Lecture Notes in Computer Science , vol.259
- Van Glabbeek, R.¹ Vaandrager, F.²

16
- 0000169535
- Branching time and abstraction in bisimulation semantics
- (1989) Proc. IFIP'89
- Van Glabbeek, R.¹ Weijland, P.²

17
- 84937692789
- Equational properties of mobile ambients
- Proc. FOSSACS'99, Springer, Berlin
- (1999) Lecture Notes in Computer Science , vol.1578
- Gordon, A.¹ Cardelli, L.²

18
- 85027602175
- Split and ST bisimulation semantics
- (1995) Inform. and Comput. , vol.118 , pp. 272-288
- Gorrieri, R.¹ Laneve, C.²

19
- 0029270771
- A theory of processes with durational actions
- (1995) Theoret. Comput. Sci. , vol.140 , Issue.1 , pp. 73-94
- Gorrieri, R.¹ Roccetti, M.² Stancampiano, E.³

20
- 0024090151
- Axiomatising finite concurrent processes
- (1988) SIAM J. Comput. , vol.17 , Issue.5
- Hennessy, M.¹

21
- 0002807041
- Tech. Report 6/91, Department of Computer Science, University of Sussex
- (1991) A proof system for weak ST-bisimulation over a finite process algebra
- Hennessy, M.¹

22
- 4944243609
- A process algebra for times systems
- (1995) Inform. and Comput. , vol.117 , pp. 221-239
- Hennessy, M.¹ Regan, T.²

23
- 0001828543
- Syntax, semantics, equivalences, and axioms for MTIPP
- Arbeitspapere der Informatik 27-4, University of Erlangen
- (1994) Proc. PAPM'94 , pp. 71-88
- Hermanns, H.¹ Rettelbach, M.²

24
- 0003581104
- Cambridge University Press, Cambridge
- (1996) A Compositional Approach to Performance Modelling
- Hillston, J.¹

25
- 0003954103
- Prentice-Hall, London
- (1989) Communication and Concurrency
- Milner, R.¹

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

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

28
- 84968816021
- Barbed bisimulation
- Proc. ICALP'92, Springer, Berlin
- (1992) Lecture Notes in Computer Science , vol.623
- Milner, R.¹ Sangiorgi, D.²

29
- 85030844408
- A temporal calculus of communicating systems
- Proc. CONCUR'90, Springer, Berlin
- (1990) Lecture Notes in Computer Science , vol.458
- Moller, F.¹ Tofts, C.²

30
- 0001119566
- The algebra of timed processes ATP, theory and application
- (1994) Inform. and Comput. , vol.114 , pp. 131-178
- Nicollin, X.¹ Sifakis, J.²

31
- 0003967839
- Ph.D. Thesis, Department of Computer Science, University of Edinburgh
- (1992) Expressing mobility in process algebras: First order and higher-order paradigms
- Sangiorgi, D.¹

32
- 84945974793
- From rewrite rules to bisimulation congruences
- Proc. CONCUR'98, Springer, Berlin
- (1998) Lecture Notes in Computer Science , vol.1466
- Sewell, P.¹

33
- 0001681473
- Timed testing of concurrent systems
- (1995) Inform. and Comput. , vol.121 , pp. 149-171
- Vogler, W.¹

34
- 85027594526
- Real time behaviour of asynchronous agents
- Proc. CONCUR'90, Springer, Berlin
- (1990) Lecture Notes in Computer Science , vol.458
- Yi, W.¹

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