SCOPUS 정보 검색 플랫폼

Electronic Notes in Theoretical Computer Science

Volumn 4, Issue C, 1996, Pages 385-404

Object-Oriented Specifications of Distributed Systems in the μ-Calculus and Maude

(1) Lechner, Ulrike a

a UNIVERSITY OF PASSAU (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; DATA REDUCTION; DIFFERENTIATION (CALCULUS); MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; SYNCHRONIZATION;

ABSTRACT LEVELS; CONCURRENT SYSTEMS; OBJECT-ORIENTED SPECIFICATIONS; PROPERTY-ORIENTED SPECIFICATION;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0001097692 PISSN: 15710661 EISSN: None Source Type: Journal
DOI: 10.1016/S1571-0661(04)00048-9 Document Type: Article

Times cited : (9)

References (33)

1
- 0003528391
- Artificial Intelligence. MIT Press
- (1986) Actors: A Model of Concurrent Computation in Distributed Systems
- Agha¹

2
- 85035019917
- Mathematical Foundations of Software Development
- H. Ehrig, C. Floyd, M. Nivat, M. Thatcher, Springer-Verlag
- (1985) On the parameterized algebraic specification of concurrent systems , pp. 342-358
- Astesiano¹ Mascari² Reggio³ Wirsing⁴

3
- 0347464242
- Bisimulation in algebraic specifications
- H. Ait-Kaci, M. Nivat, Academic Press, London
- (1989) Resolution of Equations in Algebraic Structures, Algebraic Techniques , vol.1 , pp. 1-32
- Astesiano¹ Wirsing²

4
- 0029489133
- Behavioural and abstractor specifications
- (1995) Science of Computer Programming , vol.2-3 , Issue.25 , pp. 146-186
- Bidoit¹ Hennicker² Wirsing³

5
- 0003920539
- Birkhäuser
- (1992) Verifying Temporal Properties of Systems
- Bradfield¹

6
- 0007086615
- Algebraic Specification Techniques in Object-Oriented Programming Environments
- Springer-Verlag
- (1991) Lecture Notes in Computer Science 562
- Breu¹

7
- 84916565230
- G. Bruns. A practical technique for process abstraction. In E. Best, editor, 4th, Int. Conf. on Concurrency Theory (CONCUR '93), Lecture Notes in Computer Science 715, pages 37–49. Springer-Verlag, 1993.

8
- 19144369404
- A semantic characterisation of correct refinement of object specifications based on database schedules
- B. Freitag, C.B. Jones, C. Lengauer, H.-J. Schek, Kluwer, To appear.
- (1996) Object Orientation with Parallelism and Persistence
- Denker¹

9
- 84916565229
- G. Denker, and H.-D. Ehrich. Action Reification In Object Oriented Specifications. In Proc. ISCORE Workshop Amsterdam, Sep. 94. World Scientific, 1995.

10
- 84916565228
- E.W. Dijkestra and C.S. Scholten. Predicate Calculus and Program Semantics. Texts and Monographs in Computer Science. Springer-Verlag, 1990.

11
- 84916565227
- S. Frølund. Inheritance of synchronisation constraints in concurrent object-oriented programming languages. In O. Lehrmann Madsen, editor, European Conf. on Object-Oriented Programming (ECOOP'92), Lecture Notes in Computer Science 615, pages 185–196. Springer-Verlag, 1992.

12
- 0027116146
- Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
- (1992) Theoretical Computer Science , vol.105 , pp. 217-273
- Goguen¹ Meseguer²

13
- 84916565226
- T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, and J. Kusch. Revised version of the modelling language TROLL (Version 2.0). Technical Report Informatik-Bericht 94–03, TU Braunschweig, 1994.

14
- 84916565225
- A.E. Haxthausen and F. Nickl. Pushouts of order-sorted algebraic specifications. In M. Wirsing and M. Nivat, editors, Algebraic Methodology and Software Technology (AMAST 96), Lecture Notes in Computer Science 1101. Springer-Verlag, 1996.

15
- 84916565224
- M. Hofmann and D. Sannella. On behavioral abstraction and behavioral satisfaction in higher-order logic. In Proc. Theory and Practice of Software Development (TAPSOFT'95), Lecture Notes in Computer Science. Springer-Verlag, 1995. To appear.

16
- 84916565223
- B. Jacobs. Inheritance and cofree constructions. In P. Cointe, editor, European Conference on object-oriented programming (ECOOP), Lecture Notes in Computer Science 1098, pages 210–231. Springer-Verlag, 1996.

17
- 0002715717
- Objects and classes, co-algebraically
- B. Freitag, C.B. Jones, C. Lengauer, H.-J. Schek, Kluwer, To appear.
- (1996) Object Orientation with Parallelism and Persistence
- Jacobs¹

18
- 84916529688
- Theory and Practice of Software Development (TAPSOFT'93)
- M.-C. Gaudel, J.P. Jouannaud, Springer-Verlag
- (1993) Constraining Interference in an Object-Based Design Method , pp. 136-150
- Jones¹

19
- 49049126479
- Results on the propositional mu-calculus
- (1983) Theoretical Computer Science , vol.27 , pp. 333-354
- Kozen¹

20
- 4243768442
- Modal-μ-Maude –- properties and specification of concurrent objects
- B. Freitag, C.B. Jones, C. Lengauer, H.-J. Schek, Kluwer, To appear.
- (1996) Object Orientation with Parallelism and Persistence
- Lechner¹ Lengauer²

21
- 84955616634
- ECOOP'96
- Springer-Verlag
- (1996) (Objects + Concurrency) & Reusability - A Proposal to Circumvent the Inheritance Anomaly , pp. 232-248
- Lechner¹ Lengauer² Nickl³ Wirsing⁴

22
- 84916565222
- U. Lechner, C. Lengauer, and M. Wirsing. An Object-Oriented Airport: Specification and Refinement in Maude. In E. Astesiano, G. Reggio, and A. Tarlecki, editors, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, Selected papers, Lecture Notes in Computer Science 906, pages 351–367. Springer-Verlag, 1995

23
- 0029207880
- Property preserving abstraction for the verification of concurrent systems
- (1995) Formal Methods in System Design , vol.6 , Issue.1 , pp. 11-45
- Loiseaux¹ Graf² Sifakis³ Bouajjani⁴ Bensalem⁵

24
- 84916565221
- J. Meseguer. A logical theory of concurrent objects and its realization in the Maude language. Technical Report SRI-CSL-92-08, SRI International, July 1992.

25
- 0002893365
- A logical theory of concurrent objects and its realization in the Maude language
- G. Agha, P. Wegner, A. Yonezawa, MIT Press
- (1993) Research Directions in Concurrent Object-Oriented Programming , pp. 314-390
- Meseguer¹

26
- 85027492114
- ECOOP '93 - Object-Oriented Programming
- O. Nierstrasz, Springer-Verlag
- (1993) Solving the inheritance anomaly in concurrent object-oriented programming , pp. 220-246
- Meseguer¹

27
- 84916565220
- J. Meseguer. Rewriting logic as a semantic framework for concurrency: a progress report. In Concur 96, Lecture Notes in Computer Science. Springer-Verlag, 1996. To appear.

28
- 84916529677
- Research Directions in High-Level Parallel Programming Languages
- J.-P. Banâtre, D. Le Métayer, Springer-Verlag
- (1992) Parallel programming in Maude , pp. 253-293
- Meseguer¹ Winkler²

29
- 19144373338
- Modal logics for mobile processes
- (1993) Theoretical Computer Science , vol.25 , pp. 267-310
- Milner¹ Parrow² Walker³

30
- 84916583995
- Recent Trends in Data Type Specifications
- M. Bidoit, C. Choppy, Springer-Verlag
- (1993) Implementation and behavioural equivalence: A survey , pp. 93-125
- Orejas¹ Navarro² Sanchez³

31
- 84976111956
- An approach to object semantics based on terminal co-algebras
- (1995) Mathematical Structures in Computer Science , vol.5 , pp. 129-152
- Reichel¹

32
- 0000382802
- Algebraic specification
- J.V. Leeuwen, Elsevier, (North-Holland)
- (1990) Handbook of Theoretical Computer Science , vol.volume B , pp. 675-788
- Wirsing¹

33
- 84916565219
- M. Wirsing and A. Knapp. A formal approach to object-oriented software engineering. ENTCS, 4, 1996. In this volume.

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