Peter Mosses | Swansea University (original) (raw)
Papers by Peter Mosses
Page 1. Page 2. Page 3. ACTION SEMANTICS Page 4. Cambridge Tracts in Theoretical Computer Science... more Page 1. Page 2. Page 3. ACTION SEMANTICS Page 4. Cambridge Tracts in Theoretical Computer Science Managing Editor Professor CJ van Rijsbergen, Department of Computing Science, University of Glasgow Editorial Board ...
Bookmarks Related papers MentionsView impact
Handbook of theoretical computer science (vol. B), Jan 1, 1991
Google, Inc. (search), Subscribe (Full Service), Register (Limited Service, Free), Login. Search:... more Google, Inc. (search), Subscribe (Full Service), Register (Limited Service, Free), Login. Search: The ACM Digital Library The Guide. Feedback. Denotational semantics. Source, Handbook of theoretical computer science (vol. B): formal ...
Bookmarks Related papers MentionsView impact
Theoretical Computer …, Jan 1, 2002
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Journal of Logic and Algebraic Programming, Jan 1, 2004
Bookmarks Related papers MentionsView impact
Logic in Computer Science, 1989. LICS'89, …, Jan 1, 1989
Page 1. Unified Algebras and Institutions Peter D. Mosses* Computer Science Department Aarhus Uni... more Page 1. Unified Algebras and Institutions Peter D. Mosses* Computer Science Department Aarhus University DK-8000 Aarhus C, Denmark Abstract A novel framework for algebraic specification of ab-stract data types is introduced. ...
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
TAPSOFT'97: Theory and Practice of Software …, Jan 1, 1997
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Mathematical Foundations of Computer Science 1999, Jan 1, 1999
Bookmarks Related papers MentionsView impact
Mathematical Foundations of Computer Science 1996, Jan 1, 1996
Bookmarks Related papers MentionsView impact
Abstract Formal descriptions of semantics have so far failed to match the acceptance and populari... more Abstract Formal descriptions of semantics have so far failed to match the acceptance and popularity of formal descriptions of syntax. Thus, in current standards for programming languages, syntax is usually described formally but semantics informally, despite the ...
Bookmarks Related papers MentionsView impact
Science of Computer Programming, Jan 1, 2003
Bookmarks Related papers MentionsView impact
STACS 89, Jan 1, 1989
The aim of this invited paper is to give an introduction to the author's work on two distinc... more The aim of this invited paper is to give an introduction to the author's work on two distinct, yet closely related, topics: "Unified Algebras", a recently-developed framework for the algebraic specification of abstract data types; and "Action Semantics", earlier known as "Abstract Semantic ...
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Automata, Languages and Programming, Jan 1, 1980
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Recent Trends in Algebraic Development Techniques, Jan 1, 1999
Bookmarks Related papers MentionsView impact
Algebraic Methodology and Software Technology, Jan 1, 2002
Bookmarks Related papers MentionsView impact
An academic directory and search engine.
Bookmarks Related papers MentionsView impact
Page 1. Page 2. Page 3. ACTION SEMANTICS Page 4. Cambridge Tracts in Theoretical Computer Science... more Page 1. Page 2. Page 3. ACTION SEMANTICS Page 4. Cambridge Tracts in Theoretical Computer Science Managing Editor Professor CJ van Rijsbergen, Department of Computing Science, University of Glasgow Editorial Board ...
Bookmarks Related papers MentionsView impact
Handbook of theoretical computer science (vol. B), Jan 1, 1991
Google, Inc. (search), Subscribe (Full Service), Register (Limited Service, Free), Login. Search:... more Google, Inc. (search), Subscribe (Full Service), Register (Limited Service, Free), Login. Search: The ACM Digital Library The Guide. Feedback. Denotational semantics. Source, Handbook of theoretical computer science (vol. B): formal ...
Bookmarks Related papers MentionsView impact
Theoretical Computer …, Jan 1, 2002
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Journal of Logic and Algebraic Programming, Jan 1, 2004
Bookmarks Related papers MentionsView impact
Logic in Computer Science, 1989. LICS'89, …, Jan 1, 1989
Page 1. Unified Algebras and Institutions Peter D. Mosses* Computer Science Department Aarhus Uni... more Page 1. Unified Algebras and Institutions Peter D. Mosses* Computer Science Department Aarhus University DK-8000 Aarhus C, Denmark Abstract A novel framework for algebraic specification of ab-stract data types is introduced. ...
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
TAPSOFT'97: Theory and Practice of Software …, Jan 1, 1997
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Mathematical Foundations of Computer Science 1999, Jan 1, 1999
Bookmarks Related papers MentionsView impact
Mathematical Foundations of Computer Science 1996, Jan 1, 1996
Bookmarks Related papers MentionsView impact
Abstract Formal descriptions of semantics have so far failed to match the acceptance and populari... more Abstract Formal descriptions of semantics have so far failed to match the acceptance and popularity of formal descriptions of syntax. Thus, in current standards for programming languages, syntax is usually described formally but semantics informally, despite the ...
Bookmarks Related papers MentionsView impact
Science of Computer Programming, Jan 1, 2003
Bookmarks Related papers MentionsView impact
STACS 89, Jan 1, 1989
The aim of this invited paper is to give an introduction to the author's work on two distinc... more The aim of this invited paper is to give an introduction to the author's work on two distinct, yet closely related, topics: "Unified Algebras", a recently-developed framework for the algebraic specification of abstract data types; and "Action Semantics", earlier known as "Abstract Semantic ...
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Automata, Languages and Programming, Jan 1, 1980
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Recent Trends in Algebraic Development Techniques, Jan 1, 1999
Bookmarks Related papers MentionsView impact
Algebraic Methodology and Software Technology, Jan 1, 2002
Bookmarks Related papers MentionsView impact
An academic directory and search engine.
Bookmarks Related papers MentionsView impact