Peter D Mosses - Publication list

Peter D Mosses

BROWSE
EXPORT
- Export all publications
SORT BY
- Author
- Title
- Type/Journal
- Year
- Recently added
SITE
- Help
- About this site
GUEST USER
guest
LOGIN
Name:

Password:

Deutsch, English, Nederlands, Norsk, <more...>

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

[DOI]

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

[DOI]

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

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

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

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

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

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

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

[URL]

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

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

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

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]

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

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]

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

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

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]

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]

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

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

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

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

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]

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]

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

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

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

Developments in Language Theory, At the Crossroads of Mathematics, Computer Science and Biology, Turku, Finland, 12-15 July 1993, World Scientific, Singapore, 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

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

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

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

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

[URL]

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

[URL]

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

6th Workshop on Specification of Abstract Data Types, 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

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

[URL]

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

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

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

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

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

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

processing time: 0.2303 seconds.