Peter D Mosses - Publication list

Mosses, VDM Semantics of Programming Languages: Combinators and Monads (2011), in: Formal Aspects Comput., 23(221-238)

[PDM]: Revised and extended version of [Mosses2007VSP].

[DOI]

Johnstone, Mosses and Scott, An Agile Approach to Language Modelling and Development (2010), in: Innov. Syst. Softw. Eng., 6:1-2(145-153)

[DOI]

EXPRESS'10: Proc. 17th International Workshop on Expressiveness in Concurrency, 2010

[DOI]

Mosses, Mousavi and Reniers, Robustness of Equations Under Operational Extensions, in: EXPRESS'10, pages 106-120, 2010

[DOI]

Mosses, Component-Based Semantics, in: SAVCBS '09, pages 3-10, ACM, 2009

[DOI]

Formal Methods: State of the Art and New Directions, Springer, 2009

[DOI]

Mosses and New, Implicit Propagation in Structural Operational Semantics, in: SOS 2008, pages 49-66, Elsevier, 2009

[PDM]: This paper introduces I-MSOS, which allows MSOS descriptions to be written using the familiar notational style of conventional SOS.

[DOI]

van Glabbeek and Mosses, Preface: Special Issue on Structural Operational Semantics (SOS) (2009), in: Information and Computation, 207:2(83-84)

[DOI]

Proc. 8th Intl. Workshop on Specification and Verification of Component-Based Systems, Amsterdam, 25th August 2009, ACM, 2009

Mosses, Programming Language Description Languages: From Christopher Strachey to Semantics Online, in: Formal Methods: State of the Art and New Directions, pages 249-273, Springer, 2009

[DOI]

SOS 2008, 5th Workshop on Structural Operational Semantics, Reykjavik, Iceland, 6 July 2008, Proceedings, Elsevier, 2009

Special Issue on Structural Operational Semantics (SOS), 2009

[DOI]

Mosses, Component-Based Description of Programming Languages, in: Visions of Computer Science, BCS, pages 275-286, 2008

[PDM]: The main conventional frameworks for describing programming languages do not support reusable components. This paper proposes a novel component-based paradigm for development of complete language descriptions, based on reusable independent descriptions of individual programming constructs.

[URL]

Visions of Computer Science, Proc. BCS International Academic Research Conference, London, UK, 22--24 September 2008, BCS, 2008

[URL]

Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007, Springer, 2007

van Glabbeek and Mosses, Preface to Proceedings of SOS '06, in: SOS '06, pages 1-3, 2007

[DOI]

Mosses and Ulidowski, Preface to Special Issue for SOS '05 (2007), in: Theor. Comput. Sci., 373:3(161-162)

[DOI]

Proceedings of the Third Workshop on Structural Operational Semantics (SOS 2006), Bonn, Germany, 26 August 2006, 2007

[DOI]

Structural Operational Semantics: Special Issue for SOS '05, 2007

[DOI]

Mosses, VDM Semantics of Programming Languages: Combinators and Monads, in: Formal Methods and Hybrid Real-Time Systems, pages 483-503, Springer, 2007

[PDM]: See [Mosses2010VSP] for a revised and extended version.

[DOI]

Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, Springer, 2006

van den Brand, Iversen and Mosses, An Action Environment (2006), in: Sci. Comput. Program., 61:3(245-264)

[PDM]: Extended version of [Brand2004AE].

[DOI]

Mosses, Constructive Action Semantics in OBJ, in: Essays Dedicated to Joseph A. Goguen, pages 281-295, Springer, 2006

[DOI]

Mosses, Formal Semantics of Programming Languages: An Overview, in: FoVMT '04, pages 41-73, 2006

[DOI]

Mosses and Ulidowski, Preface to Proceedings of SOS '05, in: SOS '05, pages 1-2, 2006

[DOI]

Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques (FoVMT 2004), Dagstuhl, Germany, 3-7 May 2004, 2006

Proceedings of the Second Workshop on Structural Operational Semantics (SOS 2005), Lisbon, Portugal, 10 July 2005, 2006

[DOI]

Teaching Formal Methods: Practice and Experience, Proc. Workshop, BCS London Office, UK, 15 December 2006, BCS, 2006

[URL]

Mosses, Teaching Semantics of Programming Languages with Modular SOS, in: Teaching Formal Methods: Practice and Experience, BCS, 2006

[URL]

Mosses, A Constructive Approach to Language Definition (2005), in: J. Univ. Comput. Sci., 11:7(1117-1134)

[DOI]

Iversen and Mosses, Constructive Action Semantics for Core ML (2005), in: Software, IEE Proceedings, 152(79-98)

[DOI]

Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers, Springer, 2005

[DOI]

van den Brand, Iversen and Mosses, An Action Environment, in: LDTA'04, pages 149-168, 2004

[PDM]: See [Brand2006AE] for an extended version.

[DOI]

Mosses, Exploiting Labels in Structural Operational Semantics (2004), in: Fundam. Inform., 60:1-4(17-31)

[PDM]: Extended version of [Mosses2003SNT,Mosses2004ELS-SAC].

[URL]

Mosses, Exploiting Labels in Structural Operational Semantics, in: SAC'04, pages 1476-1481, ACM, 2004

[PDM]: See [Mosses2004ELS-FI] for an extended version.

[DOI]

Generative Programming and Component Engineering: Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004. Proceedings, Springer, 2004

Mosses, Modular Language Descriptions, in: GPCE '04, pages 489-490, Springer, 2004

[DOI]

Mosses, Modular Structural Operational Semantics (2004), in: J. Log. Algebr. Program., 60-61(195-228)

[DOI]

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, ACM, 2004

Proceedings of the Fourth Workshop on Language Descriptions, Tools, and Applications (LDTA 2004), 2004

van den Brand, Iversen and Mosses, The Action Environment: Tool Demonstration, in: LDTA'04, pages 177-180, 2004

[PDM]: See [Brand2006AE] for an extended version.

[DOI]

Casl Reference Manual, The Complete Documentation of the Common Algebraic Specification Language, Springer, LNCS, volume 2960, 2004

[DOI]

Casl Reference Manual, The Complete Documentation of the Common Algebraic Specification Language, Springer, LNCS, volume 2960, 2004

Baumeister, Cerioli, Haxthausen, Mossakowski, Mosses, Sannella and Tarlecki, Casl Semantics, pages 115-271, Springer, 2004

[DOI]

Bidoit and Mosses, Casl User Manual -- Introduction to Using the Common Algebraic Specification Language, Springer, LNCS, volume 2900, 2004

[DOI]

Doh and Mosses, Composing Programming Languages by Combining Action-Semantics Modules (2003), in: Sci. Comput. Program., 47:1(3-36)

[PDM]: Extended version of [Doh2001CPL].

[DOI]

Concurrency, Specification, and Programming, CS\&P 2003, Czarna, Poland, Proceedings, Warsaw University, 2003

Logic Based Program Synthesis and Tranformation, 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20,2002, Revised Selected Papers, Springer, 2003

[DOI]

de Oliveira Braga, Haeusler, Meseguer and Mosses, Mapping Modular SOS to Rewriting Logic, in: LOPSTR'02, pages 262-277, Springer, 2003

[DOI]

Mosses, Some Novel Techniques in Operational Semantics, in: CS\&P 2003, pages 21-34, Warsaw University, 2003

[PDM]: See [Mosses2004ELS-FI] for an extended version.

Mosses, Action Semantics and ASF+SDF: System Demonstration, in: LDTA'02, pages 2-8, 2002

[DOI]

Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings, Springer, 2002

LDTA 2002, Second Workshop on Language Descriptions, Tools and Applications (Satellite Event of ETAPS 2002), Grenoble, France, 13 April 2002, 2002

Mosses, Pragmatics of Modular SOS, in: AMAST'02, pages 21-40, Springer, 2002

[DOI]

Proc. 4th International Workshop on Action Semantics, AS 2002 (Copenhagen, Denmark, July 21, 2002), Dept. of Computer Science, University of Aarhus, 2002

[URL]

Proc. 4th International Workshop on Action Semantics, AS 2002 (Copenhagen, Denmark, July 21, 2002), Dept. of Computer Science, University of Aarhus, 2002

[URL]

Astesiano, Bidoit, Kirchner, Krieg-Brückner, Mosses, Sannella and Tarlecki, Casl: The Common Algebraic Specification Language (2002), in: Theor. Comput. Sci., 286:2(153-196)

[DOI]

Kirchner and Mosses, Algebraic Specifications, Higher-order Types and Set-theoretic Models (2001), in: J. Log. Comput., 11:3(453-481)

[URL]

Mosses, CoFI: The Common Framework Initiative for Algebraic Specification and Development, in: Current Trends in Theoretical Computer Science, pages 153-163, World Scientific, 2001

[URL]

Doh and Mosses, Composing Programming Languages by Combining Action-Semantics Modules, in: LDTA'01, pages 87-109, 2001

[PDM]: See [Doh2003CPL] for an extended version.

[DOI]

Current Trends in Theoretical Computer Science, Entering the 21st Century, World Scientific, 2001

[URL]

LDTA'01, First Workshop on Language Descriptions, Tools and Applications (a Satellite Event of ETAPS 2001), Genova, Italy, 7 April 2001, 2001

Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers, Springer, 2001

Mosses, The Varieties of Programming Language Semantics, in: PSI'01, pages 165-190, Springer, 2001

[PDM]: Extended version of [Mosses2000VPL].

[DOI]

Mosses, A Foreword to `Fundamental Concepts in Programming Languages' (2000), in: Higher-Order and Symbolic Computation, 13:1-2(7-9)

[DOI]

Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, Springer, 2000

Lassen, Mosses and Watt, An introduction to AN-2, the Proposed New Version of Action Notation, in: AS 2000, pages 19-36, Dept. of Computer Science, University of Aarhus, 2000

[URL]

CAFE: An Industrial-Strength Algebraic Formal Method, Elsevier, 2000

LFM'00, Workshop on Logical Frameworks and Meta-languages, Santa Barbara, USA, 25 June 2000, INRIA Sophia Antipolis, 2000

[URL]

de Oliveira Braga, Haeusler, Meseguer and Mosses, Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic, in: AMAST 2000, pages 407-421, Springer, 2000

[DOI]

Mosses, Modularity in Meta-languages, in: LFM'00, INRIA Sophia Antipolis, 2000

[URL]

Proc. 3rd International Workshop on Action Semantics, AS 2000 (Recife, Brazil, May 15--16, 2000), Dept. of Computer Science, University of Aarhus, 2000

[URL]

Proc. 3rd International Workshop on Action Semantics, AS 2000 (Recife, Brazil, May 15--16, 2000), Dept. of Computer Science, University of Aarhus, 2000

[URL]

Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Château de Bonas, France, September 15-18, 1999, Selected Papers, Springer, 2000

[DOI]

Mosses, The Varieties of Programming Language Semantics, in: IFIP TCS 2000, pages 624-628, Springer, 2000

[PDM]: See [Mosses2001VPL] for an extended version.

[DOI]

Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, Proceedings, Springer, 2000

[DOI]

Mosses, Casl and Action Semantics, in: AS 2000, pages 62-78, Dept. of Computer Science, University of Aarhus, 2000

[URL]

Mosses, Casl for CafeOBJ Users, in: CAFE: An Industrial-Strength Algebraic Formal Method, pages 121-144, Elsevier, 2000

[DOI]

Mosses, A Modular SOS for Action Notation, Dept. of Computer Science, University of Aarhus, number RS-99-56, BRICS Research Series, 1999

[URL]

Mosses, A Modular SOS for Action Notation (Extended Abstract), in: AS '99, pages 131-142, Dept. of Computer Science, University of Aarhus, 1999

[URL]

Mosses, A Modular SOS for ML Concurrency Primitives, Dept. of Computer Science, University of Aarhus, number RS-99-57, BRICS Research Series, 1999

[URL]

Algebraic Methodology and Software Technology, 7th International Conference, AMAST'98, Amazonia, Brasil, January 4-8, 1999, Proceedings, Springer, 1999

Kirchner and Mosses, Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models, in: AMAST'98, pages 373-388, Springer, 1999

[DOI]

Computer Science Logic, 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings, Springer, 1999

Mosses, Foundations of Modular SOS, Dept. of Computer Science, University of Aarhus, number RS-99-54, BRICS Research Series, 1999

[URL]

Mosses, Foundations of Modular SOS (Extended Abstract), in: MFCS'99, pages 70-80, Springer, 1999

[DOI]

Mosses, Logical Specification of Operational Semantics, in: CSL'99, pages 32-49, Springer, 1999

[DOI]

Mathematical Foundations of Computer Science 1999, 24th International Symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999, Proceedings, Springer, 1999

Proc. 2nd International Workshop on Action Semantics, AS '99 (Amsterdam, The Netherlands, March 21, 1999), Dept. of Computer Science, University of Aarhus, 1999

[URL]

Proc. 2nd International Workshop on Action Semantics, AS '99 (Amsterdam, The Netherlands, March 21, 1999), Dept. of Computer Science, University of Aarhus, 1999

[URL]

Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT'98, Lisbon, Portugal, April 2-4, 1998, Selected Papers, Springer, 1999

Mosses, Casl: A Guided Tour of Its Design, in: WADT'98, pages 216-240, Springer, 1999

[DOI]

International Workshop on Rewriting Logic and its Applications, Abbaye des Prémontrés at Pont-à-Mousson, France, September 1998, 1998

Proc. Workshop on Applicability of Formal Methods, AFM '98 (Aarhus, Denmark, June 2, 1998), Dept. of Computer Science, University of Aarhus, 1998

[URL]

Mosses, Semantics, Modularity, and Rewriting Logic, in: WRLA'98, pages 404-421, 1998

[DOI]

Mosses, CoFI: The Common Framework Initiative for Algebraic Specification and Development, in: TAPSOFT'97, pages 115-137, Springer, 1997

[DOI]

TAPSOFT'97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings, Springer, 1997

Asf+Sdf'97, Proc. 2nd Intl. Workshop on the Theory and Practice of Algebraic Specifications, British Computer Society, 1997

[URL]

Mosses, Casl for Asf+Sdf Users, in: ASF+SDF'97, British Computer Society, 1997

[URL]

Mosses, A Tutorial on Action Semantics, Dept. of Computer Science, University of Aarhus, number NS-96-14, BRICS Notes Series, 1996

[URL]

Algebraic Methodology and Software Technology, 5th International Conference, AMAST'96, Munich, Germany, July 1-5, 1996, Proceedings, Springer, 1996

van Deursen and Mosses, ASD: The Action Semantic Description Tools, in: AMAST'96, pages 579-582, Springer, 1996

[DOI]

Mosses, CoFI: The Common Framework Initiative for Algebraic Specification (1996), in: Bulletin of the EATCS, 59(127-132)

Hintermeier, Kirchner and Mosses, Combining Algebraic and Set-Theoretic Specifications, in: COMPASS/WADT'95, pages 255-273, Springer, 1996

[DOI]

Hintermeier, Kirchner and Mosses, Combining Algebraic and Set-Theoretic Specifications, Dept. of Computer Science, University of Aarhus, number RS-96-52, BRICS Research Series, 1996

[URL]

Mosses, Nielsen and Schwartzbach, Foreword: Special Volume of TAPSOFT 1995 Papers (1996), in: Theor. Comput. Sci., 167:1-2(1)

[DOI]

Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA'95, Paderborn, Germany, September 21-22, 1995, Selected Papers, Springer, 1996

Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, Proceedings, Springer, 1996

Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers, Springer, 1996

Special Volume of TAPSOFT 1995 Papers (1996), in: Theor. Comput. Sci., 167:1-2

[DOI]

Mosses, Theory and Practice of Action Semantics, in: MFCS'96, pages 37-61, Springer, 1996

[DOI]

Kucherov, Lescanne and Mosses, Valentin M. Antimirov (1961-1995) (1996), in: Theor. Comput. Sci., 155:2(289-290)

[DOI]

Hintermeier, Kirchner and Mosses, {R$^{\mbox{n}}$}- and {G$^{\mbox{n}}$}-Logics, in: HOA'95, pages 90-108, Springer, 1996

[DOI]

Antimirov and Mosses, Rewriting Extended Regular Expressions (1995), in: Theor. Comput. Sci., 143:1(51-72)

[PDM]: Extended version of [Antimirov1994RER].

[DOI]

TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings, Springer, 1995

[DOI]

TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings, Springer, 1995

Algebraic Methodology and Software Technology (AMAST'93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993, Springer, 1994

Mosses and Musicante, An Action Semantics for ML Concurrency Primitives, in: FME'94, pages 461-479, Springer, 1994

[DOI]

Developments in Language Theory, At the Crossroads of Mathematics, Computer Science and Biology, Turku, Finland, 12-15 July 1993, World Scientific, Singapore, 1994

[URL]

van Deursen and Mosses, Executing Action Semantic Descriptions Using ASF+SDF, in: AMAST'93, pages 413-414, Springer, 1994

[URL]

FME'94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings, Springer, 1994

Proc. 1st International Workshop on Action Semantics, AS '94 (Edinburgh, 14 April, 1994), Dept. of Computer Science, University of Aarhus, 1994

[URL]

Proc. 1st International Workshop on Action Semantics, AS '94 (Edinburgh, 14 April, 1994), Dept. of Computer Science, University of Aarhus, 1994

[URL]

Proceedings of the 6th Nordic Workshop on Programming Theory, NWPT '94 (Aarhus, Denmark, 17--19 October, 1994), Dept. of Computer Science, University of Aarhus, 1994

[URL]

Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers, Springer, 1994

Antimirov and Mosses, Rewriting Extended Regular Expressions, in: Developments in Language Theory '93, pages 195-209, World Scientific, Singapore, 1994

[PDM]: See [Antimirov1995RER] for an extended version.

[URL]

Mosses, Unified Algebras and Abstract Syntax, in: COMPASS/WADT'92, pages 280-294, Springer, 1994

[DOI]

Logic and Algebra of Specification, Proc. NATO Advanced Study Institute, Marktoberdorf, Germany, 23 July--4 August 1991, Springer, 1993

Mosses, On the Action Semantics of Concurrent Programming Languages, in: REX Workshop, pages 398-424, Springer, 1993

[DOI]

Recent Trends in Data Type Specification, 8th Workshop on Specification of Abstract Data Types Joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991, Selected Papers, Springer, 1993

Sematics: Foundations and Applications, REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, Proceedings, Springer, 1993

Mosses, The Use of Sorts in Algebraic Specifications, in: COMPASS/WADT'91, pages 66-92, Springer, 1993

[DOI]

Mosses, Action Semantics, Cambridge University Press, Cambridge Tracts in Theoretical Computer Science, volume 26, 1992

[URL]

Formal Techniques in Real-Time and Fault-Tolerant Systems, Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992, Proceedings, Springer, 1992

Krishnan and Mosses, Specifying Asynchronous Transfer of Control, in: FTRTFT'92, pages 291-306, Springer, 1992

[DOI]

Mosses, A Practical Introduction to Denotational Semantics, in: Formal Description of Programming Concepts, pages 1-49, Springer, 1991

[URL]

Formal Description of Programming Concepts, Springer, IFIP State-of-the-Art Reports, 1991

[URL]

Mosses, Denotational Semantics, in: Handbook of TCS, pages 575-631, Elsevier and MIT Press, 1990

[URL]

Formal Models and Semantics, Elsevier and MIT Press, Handbook of Theoretical Computer Science, volume B, 1990

[URL]

Boom, Nielsen, McGettrick, Mosses, Rattray, Tennent and Watt, A View of Formal Semantics (1989), in: Computer Standards and Interfaces, 9:1(3-9)

[DOI]

POPL'89: Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM, 1989

Proceedings, Fourth Annual Symposium on Logic in Computer Science, 5-8 June, 1989, Asilomar Conference Center, Pacific Grove, California, USA, IEEE Computer Society, 1989

STACS 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings, Springer, 1989

Mosses, Unified Algebras and Action Semantics, in: STACS'89, pages 17-35, Springer, 1989

[DOI]

Mosses, Unified Algebras and Institutions, in: LICS'89, pages 304-312, IEEE Computer Society, 1989

[DOI]

Mosses, Unified Algebras and Modules, in: POPL'89, Austin, Texas, United States, pages 329-343, ACM, 1989

[DOI]

6th Workshop on Specification of Abstract Data Types, Fachbereich Informatik, TU Berlin, 1988

[URL]

Mosses, Action Semantics (1988), in: Cubus, 1:4(9-13)

Mosses, Unified Algebras, in: WADT'88, Fachbereich Informatik, TU Berlin, 1988

[URL]

Formal Description of Programming Concepts III, in: Formal Description of Programming Concepts III, Proc. IFIP TC2 Working Conference, Gl. Avernæs, 1986, Elsevier, 1987

Mosses and Plotkin, On Proving Limiting Completeness (1987), in: SIAM J. Comput., 16:1(179-194)

[DOI]

Mosses and Watt, The Use of Action Semantics, in: Formal Description of Programming Concepts III, Proc. IFIP TC2 Working Conference, Gl. Avernæs, 1986, pages 135-166, Elsevier, 1987

4th Workshop on Specification of Abstract Data Types, University of Braunschweig, 1986

[URL]

Mosses, Action Semantics, in: WADT'86, University of Braunschweig, 1986

[URL]

Mosses, A Solution to Problem 7: Parallel Combinator Reduction Machine, in: The Analysis of Concurrent Systems, pages 354-358, Springer, 1985

[DOI]

The Analysis of Concurrent Systems, Cambridge, September 12-16, 1983, Proceedings, Springer, 1985

Mosses, A Basic Abstract Semantic Algebra, in: Semantics of Data Types, pages 87-107, Springer, 1984

[DOI]

Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, Proceedings, Springer, 1984

Mosses, Abstract Semantic Algebras!, in: Formal Description of Programming Concepts II, pages 45-71, North-Holland, 1983

Formal Description of Programming Concepts II, Proc. IFIP TC2 Working Conference, Garmisch-Partenkirchen, 1982, North-Holland, 1983

Mosses, A Semantic Algebra for Binding Constructs, in: Formalization of Programming Concepts, pages 408-418, Springer, 1981

[DOI]

Formalization of Programming Concepts, International Colloquium, Peniscola, Spain, April 19-25, 1981, Proceedings, Springer, 1981

Mosses, A Constructive Approach to Compiler Correctness, in: Semantics-Directed Compiler Generation, pages 189-210, Springer, 1980

[DOI]

Mosses, A Constructive Approach to Compiler Correctness, in: ICALP'80, pages 449-469, Springer, 1980

[DOI]

Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout, The Netherland, July 14-18, 1980, Proceedings, Springer, 1980

Semantics-Directed Compiler Generation, Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980, Springer, 1980

Mosses, SIS, Semantics Implementation System: Reference Manual and User Guide, Dept. of Computer Science, Univ. of Aarhus, number MD-30, DAIMI Tech. Report, 1979

Mosses, Making Denotational Semantics Less Concrete, in: Proc. Int. Workshop on Semantics of Programming Languages, Bad Honnef, pages 102-109, Abteilung Informatik, Universität Dortmund, 1977

Mosses, Compiler Generation Using Denotational Semantics, in: MFCS'76, pages 436-441, Springer, 1976

[DOI]

Mathematical Foundations of Computer Science 1976, 5th Symposium, Gdansk, Poland, September 6-10, 1976, Proceedings, Springer, 1976

Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin near Warsaw, June 17-22, 1974, Proceedings, Springer, 1975

Mosses, Mathematical Semantics and Compiler Generation, University of Oxford, 1975

Mosses, The Semantics of Semantic Equations, in: MFCS'74, pages 409-422, Springer, 1975

[DOI]

Mosses, The Mathematical Semantics of Algol60, Oxford Univ. Comp. Lab., number PRG-12, Tech. Mono., 1974

Mosses, An Introduction to Action Semantics, in: Logic and Algebra of Specification, pages 247-288, Springer, 1993