Labelled transition logic: An outline

Acta Informatica

Volumn 37, Issue 11-12, 2001, Pages 831-879

  Astesiano, E ^a   Reggio, G ^a  

^a UNIVERSITY OF GENOA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0035429673     PISSN: 00015903     EISSN: None     Source Type: Journal    
DOI: 10.1007/PL00013308     Document Type: Article

References (66)

1. 1. E. Astesiano, M. Broy, G. Reggio: Algebraic Specification of Concurrent Systems. In: E. Astesiano, B. Krieg-Bruckner, H.-J. Kreowski (eds) IFIP WG 1.3 Book on Algebraic Foundations of System Specification, pp 467-520. Berlin Heidelberg New York: Springer 1999
2. 2. E. Astesiano, A. Giovini, F. Mazzanti, G. Reggio, E. Zucca: The Ada Challenge for New Formal Semantic Techniques. In: Ada: Managing the Transition, Proc. of the Ada-Europe International Conference, Edinburgh, 1986, pp 239-248. Cambridge University Press 1986
3. 3. E. Astesiano, A. Giovini, G. Reggio: Generalized Bisimulation in Relational Specifications. In: Proc. STACS'88 (Symposium on Theoretical Aspects of Computer Science), Lecture Notes in Computer Science, Vol. 294, pp 207-226. Berlin: Springer 1988
4. 4. E. Astesiano, A. Giovini, G. Reggio: Processes as Data Types: Observational Semantics and Logic. In: I. Guessarian (ed) Proc. of 18-eme Ecole de Printemps en Informatique Theorique, Semantique du Parallelism, Lecture Notes in Computer Science, Vol. 469, pp 1-20. Berlin: Springer 1990
5. 5. E. Astesiano, A. Giovini, G. Reggio: Observational Structures and their Logic. T.C.S., 96: 249-283 (1992)
6. 6. E. Astesiano, A. Giovini, G. Reggio, E. Zucca: An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects. In: M. Wirsing, J.A. Bergstra (eds) Algebraic Methods: Theory, Tool and Applications, Lecture Notes in Computer Science, Vol. 394, pp 91-116. Berlin: Springer 1989
7. 7. E. Astesiano, G.F. Mascari, G. Reggio, M. Wirsing: On the Parameterized Algebraic Specification of Concurrent Systems. In: H. Ehrig, C. Floyd, M. Nivat, J. Thatcher (eds) Proc. TAPSOFT'85, Vol. 1, Lecture Notes in Computer Science, Vol. 185, pp 342-358. Berlin: Springer 1985
8. 8. E. Astesiano, F. Mazzanti, G. Reggio, E. Zucca: Formal Specification of a Concurrent Architecture in a Real Project. In: A Broad Perspective of Current Developments, Proc. ICS'85 (ACM International Computing Symposium), pp 185-195. Amsterdam: North-Holland 1985
9. 9. E. Astesiano, F. Morando, G. Reggio: The SMoLCS Toolset. In: P.D. Mosses, M. Nielsen, M.I. Schwartzbach (eds) Proc. of TAPSOFT '95, Lecture Notes in Computer Science, Vol. 915, pp 810-811. Berlin: Springer 1995
10. 10. E. Astesiano, C. Bendix Nielsen, N. Botta, A. Fantechi, A. Giovini, P. Inverardi, E. Karlsen, F. Mazzanti, J. Storbank Pedersen, G. Reggio, E. Zucca: The Draft Formal Definition of Ada. Deliverable, CEC MAP project: The Draft Formal Definition of ANSI/STD 1815A Ada, 1986
11. 11. E. Astesiano, G. Reggio: On the Specification of the Firing Squad Problem. In: Proc. of the Workshop on The Analysis of Concurrent Systems, Cambridge, 1983, Lecture Notes in Computer Science, Vol. 207, pp 137-156. Berlin: Springer 1985
12. 12. E. Astesiano, G. Reggio: An Outline of the SMoLCS Approach. In: M. Venturini Zilli (ed) Mathematical Models for the Semantics of Parallelism, Proc. Advanced School on Mathematical Models of Parallelism, Roma, 1986, Lecture Notes in Computer Science, Vol.280, pp. 81-113. Berlin: Springer 1987
13. 13. E. Astesiano, G. Reggio: Direct Semantics of Concurrent Languages in the SMoLCS Approach. IBM Journal of Research and Development, 31 (5): 512-534 (1987)
14. 14. E. Astesiano, G. Reggio: SMoLCS-Driven Concurrent Calculi. In: H. Ehrig, R. Kowalski, G. Levi, U. Montanari (eds) Proc. TAPSOFT'87, Vol. 1, Lecture Notes in Computer Science, Vol. 249, pp. 169-201. Berlin: Springer 1987
15. 15. E. Astesiano, G. Reggio: The SMoLCS Approach to the Formal Semantics of Programming Languages - A Tutorial Introduction. In: A.N. Habermann, U. Montanari (eds) System Development and Ada, Proc. of CRAI Workshop on Software Factories and Ada, Capri 1986, Lecture Notes in Computer Science, Vol. 275, pp 81-116. Berlin: Springer 1987
16. 16. E. Astesiano, G. Reggio: A Metalanguage for the Formal Requirement Specification of Reactive Systems. In: J.C.P. Woodcock, P.G. Larsen (eds) Proc. FME'93: Industrial-Strength Formal Methods, Lecture Notes in Computer Science, Vol. 670. Berlin: Springer 1993
17. 17. E. Astesiano, G. Reggio: Specifying Reactive Systems by Abstract Events. In: Proc. of Seventh International Workshop on Software Specification and Design (IWSSD-7). IEEE Computer Society, Los Alamitos, CA, 1993
18. 18. E. Astesiano, G. Reggio: Formally-Driven Friendly Specifications of Concurrent Systems: A Two-Rail Approach. Technical Report DISI-TR-94-20, DISI - Università di Genova, Italy, 1994. Presented at ICSE' 17-Workshop on Formal Methods, Seattle, April 1995
19. 19. E. Astesiano, G. Reggio: A Dynamic Specification of the RFC-Memory Problem. In: M. Broy, S. Merz, K. Spies (eds) Formal Svstem Specification: The RFC-Memory Specification Case Study, Lecture Notes in Computer Science, Vol. 1169, pp. 67-108. Berlin: Springer 1996
20. 20. E. Astesiano, G. Reggio: On the Relationship between Labelled Transition Logic and Rewriting Logic. Technical Report DISI-TR-97-23, DISI - Università di Genova, Italy, 1997
21. 21. E. Astesiano, G. Reggio: Formalism and Method. T.C.S. (236): 3-34 (2000)
22. 22. E. Astesiano, E. Zucca: D-oids: a Model for Dynamic Data Types. Math Struct Comput Sci, 5(2): 257-282 (1995)
23. 23. J.C.M. Baeten, W.P. Weijland: Process Algebra. Cambridge University Press 1990
24. 24. M. Bettaz, G. Reggio: A SMoLCS Based Kit for Defining the Semantics of High-Level Algebraic Petri Nets. In: H. Ehrig, F. Orejas (eds) Recent Trends in Data Type Specification, Lecture Notes in Computer Science, Vol. 785, pp 98-112. Berlin: Springer 1994
25. 25. M. Broy: Specification and Top Down Design of Distributed Systems. In: H. Ehrig, C. Floyd, M. Nivat, J. Thatcher (eds) Proc. TAPSOFT'85, Vol. 1, Lecture Notes in Computer Science, Vol. 185, pp 4-28. Berlin: Springer 1985
26. 26. M. Broy: Predicative Specifications for Functional Programs Describing Communicating Networks. Inform Process Lett, 25: 2 (1987)
27. 27. M. Broy, M. Wirsing: Partial Abstract Types. Acta Inf, 18: 47-64 (1982)
28. 28. M. Cerioli, G. Reggio: Algebraic Oriented Institutions. In: M. Nivat, C. Rattray, T. Rus, G. Scollo (eds) Algebraic Methodology and Software Technology (AMAST'93), Workshops in Computing. London: Springer 1993
29. 29. M. Cerioli, G. Reggio: Very abstract specifications: a formalism independent approach. Math Struct Comput Sci, 1(8): 17-66 (1998)
30. 30. M. Chandy, J. Misra: Parallel Program Design: a Foundation. Reading, MA: Addison-Wesley 1988
31. 31. X.-J. Chen, C. Montangero: Compositional Refinements in Multiple Blackboard Systems. Acta Inf, 32(5): 459-476 (1995) A short version appeared in Proceeding of ESOP'92, Lecture Notes in Computer Science, Vol. 582, Springer 1992
32. 31. X.-J. Chen, C. Montangero: Compositional Refinements in Multiple Blackboard Systems. Acta Inf, 32(5): 459-476 (1995) A short version appeared in Proceeding of ESOP'92, Lecture Notes in Computer Science, Vol. 582, Springer 1992
33. 32. E. Coscia, G. Reggio: Deontic Concepts in the Algebraic Specification of Dynamic Systems: The Permission Case. In: M. Haveraaen, O. Owe, O.-J. Dahl (eds) Recent Trends in Data Type Specification, Lecture Notes in Computer Science, Vol. 1130, pp. 161-182. Berlin: Springer 1996 11th Workshop on Specification of Abstract Data Types joint with the 8th general COMPASS workshop. Oslo, Norway, September 1995. Selected papers
34. 33. G. Costa, G. Reggio: Specification of Abstract Dynamic Data Types: A Temporal Logic Approach. T.C.S., 173(2): 513-554 (1997)
35. 34. P. Dauchy, M.C. Gaudel: Implicit State in Algebraic Specifications. In: U.W. Lipeck, G. Koschorreck (eds) Proc. International Workshop Is-Core'93, Hannover September 1993, 1993
36. 35. H.D. Ehrich: On the Realization and Implementation. In: Proc. MFCS'81, Lecture Notes in Computer Science, Vol. 118, pp. 271-280. Berlin: Springer 1981
37. 36. H. Ehrig, H.J. Kreowski, B. Mahr, P. Padawitz: Algebraic Implementation of Abstract Data Types. T.C.S., 20: 209-263 (1982)
38. 37. H. Ehrig, F. Orejas: Dynamic Abstract Data Types: An Informal Proposal. Bulletin of the EATCS, (53): 162-169 (1994)
39. 38. A. Giovini, F. Morando, A. Capani: Implementation of a Toolset for Prototyping Algebraic Specifications of Concurrent Systems. In: Proc. ALP'92, Lecture Notes in Computer Science, Vol. 632, pp. 335-349. Berlin: Springer 1992
40. 39. J.A. Goguen, J. Meseguer: Models and Equality for Logic Programming. In: Proc. TAPSOFT'87, Vol. 2, Lecture Notes in Computer Science, Vol. 250, pp. 1-22. Berlin: Springer 1987
41. 40. Y. Gurevich: Evolving Algebras: a Tutorial Introduction. Bulletin of the EATCS, (43): 264-284 (1991)
42. 41. C.A.R. Hoare: Communicating Sequential Processes. London: Prentice Hall 1985
43. 42. I.S.O. ISO 8807 Information Processing Systems - Open Systems Interconnection - LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. IS, International Organization for Standardization, 1989
44. 43. L. Lamport: The Temporal Logic of Actions. Technical Report 79, Digital, Systems Research Center, Palo Alto, California, 1991
45. 44. Wei Li: An Operational Semantics of Multitasking and Exception Handling in Ada. In: Pmc. AC Ada Tech. and Tutorial Conference. ACM Press, 1982
46. d. In: J. Diaz, F. Orejas (eds) Proc. TAPSOFT'89, Vol. 2, Lecture Notes in Computer Science, Vol. 352, pp 272-285. Berlin: Springer 1989
47. 46. J. Meseguer: Conditional Rewriting as a Unified Model of Concurrency. T.C.S., 96: 73-155 (1992)
48. 47. R. Milner: A Calculus of Communicating Systems. Lecture Notes in Computer Science, Vol. 92. Berlin: Springer 1980
49. 48. R. Milner: Communication and Concurrency. London: Prentice Hall 1989
50. 49. R. Milner, J. Parrow, D. Walker: A Calculus of Mobile Processes - Part I. Technical Report ECS-LFCS-89-85, LFCS-University of Edinburgh, 1989
51. 50. R. Milner, J. Parrow, D. Walker: A Calculus of Mobile Processes - Part II. Technical Report ECS-LFCS-89-86, LFCS-University of Edinburgh, 1989
52. 51. P.D. Mosses: CoFI: The Common Framework Initiative for Algebraic Specification and Development. In: M. Bidoit, M. Dauchet (eds) Proc. TAPSOFT '97, Lecture Notes in Computer Science, Vol. 1214, pp. 115-137. Berlin: Springer 1997
53. 52. R. De Nicola, M. Hennessy: Testing Equivalence for Processes. T.C.S., 34: 181-205 (1984)
54. 53. D. Park: Concurrency and Automata on Infinite Sequences. In: Proc. 5th GI Conference, Lecture Notes in Computer Science, Vol. 104. Berlin: Springer 1981
55. 54. G. Plotkin: A Structural Approach to Operational Semantics. Lecture notes, Aarhus University, 1981
56. 55. G. Plotkin: An Operational Semantics for CSP. In: D. Bjorner (ed) Proc. IFIP TC 2-Working conference: Formal description of programming concepts, pp. 199-223. Amsterdam: North-Holland 1983
57. 56. G. Reggio: Entities: an Institution for Dynamic Systems. In: H. Ehrig, K.P. Jantke, F. Orejas, H. Reichel (eds) Recent Trends in Data Type Specification, Lecture Notes in Computer Science, Vol. 534, pp. 244-265. Berlin: Springer 1991
58. 57. G. Reggio: Event Logic for Specifying Abstract Dynamic Data Types. In: M. Bidoit, C. Choppy (eds) Recent Trends in Data Type Specification, Lecture Notes in Computer Science, Vol. 655, pp 292-309. Berlin: Springer 1993
59. 58. G. Reggio, E. Astesiano, C. Choppy: CASL-LTL : A CASL Extension for Dynamic Reactive Systems - Summary. Technical Report DISI-TR-99-34, DISI - Università di Genova, Italy, 1999. ftp://ftp.disi.unige.it/person/ReggioG/ReggioEtAl199a.ps
60. 59. G. Reggio, E. Astesiano, C. Choppy, H. Hussmann: Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach. In: T. Maibaum (ed) Proc. FASE 2000 - Fundamental Approaches to Software Engineering, Lecture Notes in Computer Science, Vol. 1783, pp 127-146. Berlin: Springer 2000
61. 60. G. Reggio, E. Crivelli: Specification of a Hydroelectric Power Station: Revised Tool-Checked Version. Technical Report DISL-TR-94-17, DISI - Università di Genova, Italy, 1994
62. 61. G. Reggio, A. Morgavi, V. Filippi: Specification of a High-Voltage Substation. Technical Report PDISI-92-12, DISI - Università di Genova, Italy, 1992
63. 62. W. Reisig: Petri Nets and Algebraic Specifications. T.C.S., 80: 1-34 (1991)
64. 63. The CoFI Task Group on Language Design. CASL The Common Algebraic Specification Language Summary. Version 1.0. Technical report, 1999. Available on http://www.brics.dk/Projects/CoFI/Documents/CASL/Summary/
65. 64. G. Winskel, M. Nielsen: Models for Concurrency. Technical Report 492, DAIMI PB, 1992
66. 65. M. Wirsing: Algebraic Specifications. In: J. van Leeuwen (ed) Handbook of Theoret. Comput. Sci., Vol. B, pp. 675-788. Amsterdam: Elsevier 1990