Peter Mosses | Academic Influence

Peter Mosses's AcademicInfluence.com Rankings

Peter Mosses

Computer Science

#3597

World Rank

#3778

Historical Rank

Database

#7530

World Rank

#7809

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Peter Mosses's Degrees

PhD Computer Science University of Sussex
Bachelors Mathematics University of Sussex

Similar Degrees You Can Earn

Why Is Peter Mosses Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Peter David Mosses is a British computer scientist. Peter Mosses studied mathematics as an undergraduate at Trinity College, Oxford, and went on to undertake a DPhil supervised by Christopher Strachey in the Programming Research Group while at Wolfson College, Oxford in the early 1970s. He was the last student to submit his thesis under Strachey before Strachey's death.

(See a Problem?)

Peter Mosses's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Denotational Semantics (1991) (440)
CASL: the Common Algebraic Specification Language (2002) (269)
Action Semantics (1986) (250)
Modular structural operational semantics (2004) (238)
Casl Reference Manual (2004) (156)
CASL User Manual (2004) (124)
Unified algebras and institutions (1989) (108)
TAPSOFT '95: Theory and Practice of Software Development (1995) (101)
CoFI: The Common Framework Initiative for Algebraic Specification and Development (2001) (96)
Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics (2000) (86)
CASL User Manual: Introduction to Using the Common Algebraic Specification Language (2004) (85)
Theory and Practice of Action Semantics (1996) (80)
Abstract Semantic Algebras (1982) (75)
Composing programming languages by combining action-semantics modules (2001) (70)
Foundations of Modular SOS (1999) (69)
Casl Reference Manual: The Complete Documentation Of The Common Algebraic Specification Language (LECTURE NOTES IN COMPUTER SCIENCE) (2004) (67)
Implicit Propagation in Structural Operational Semantics (2009) (65)
The use of action semantics (1986) (65)
Pragmatics of Modular SOS (2002) (54)
Unified Algebras and Action Semantics (1988) (54)
Rewriting Extended Regular Expressions (1993) (53)
A constructive approach to compiler correctness (1980) (51)
A Basic Abstract Semantic Algebra (1984) (44)
Reusable components of semantic specifications (2014) (44)
Compiler Generation Using Denotational Semantics (1976) (42)
CoFI: The Common Framework Initiative for Algebraic Specification (1997) (41)
Unified algebras and modules (1988) (41)
Mathematical semantics and compiler generation (1975) (38)
CASL: A Guided Tour of Its Design (1998) (37)
The Use of Sorts in Algebraic Specifications (1991) (36)
An Action Environment (2004) (35)
A Modular SOS for Action Notation (1999) (35)
The Varieties of Programming Language Semantics (2001) (33)
Semantic Domains and Denotational Semantics (1989) (33)
Exploiting labels in Structural Operational Semantics (2004) (33)
An Action Semantics for ML Concurrency Primitives (1994) (32)
Mapping Modular SOS to Rewriting Logic (2002) (30)
Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic (2000) (29)
Constructive Action Semantics for Core ML (2004) (27)
Formal Semantics of Programming Languages: - An Overview - (2006) (27)
A Modular SOS for ML Concurrency Primitives (1999) (26)
Modular Bisimulation Theory for Computations and Values (2013) (23)
Unified Algebras and Abstract Syntax (1992) (21)
Semantics, modularity, and rewriting logic (1998) (21)
A Constructive Approach to Language Definition (2005) (20)
A Practical Introduction to Denotational Semantics (1989) (19)
An Introduction to Action Semantics (1991) (19)
Component-Based Description of Programming Languages (2008) (18)
Deriving Pretty-Big-Step Semantics from Small-Step Semantics (2014) (17)
FunKons: Component-Based Semantics in K (2014) (17)
ASD: The Action Semantic Description Tools (1996) (16)
A Semantic Algebra for Binding Constructs (1981) (16)
VDM semantics of programming languages: combinators and monads (2011) (14)
Component-based semantics (2009) (14)
Tool support for component-based semantics (2016) (14)
Generating Specialized Interpreters for Modular Structural Operational Semantics (2013) (14)
Software meta-language engineering and CBS (2019) (13)
Logical Specification of Operational Semantics (1999) (12)
A Foreword to ‘Fundamental Concepts in Programming Languages’ (2000) (12)
CASL for CafeOBJ Users (2000) (12)
An agile approach to language modelling and development (2009) (11)
Executable component-based semantics (2019) (11)
CASL for ASF+SDF users (1997) (10)
Teaching semantics of programming languages with modular SOS (2006) (10)
Programming Language Description Languages (2010) (10)
Flag-based big-step semantics (2016) (10)
Robustness of Equations Under Operational Extensions (2010) (8)
On the Action Semantics of Concurrent Programming Languages (1992) (8)
Modularity in Meta-Languages (2000) (8)
On Proving Limiting Completeness (1987) (8)
A Modular Structural Operational Semantics for Delimited Continuations (2016) (8)
Selected papers from the 6th international joint conference on Theory and practice of software development (1996) (8)
Fundamental Concepts and Formal Semantics of Programming Languages (2009) (7)
Specifying Asynchronous Transfer of Control (1992) (7)
Combining Algebraic and Set-Theoretic Specifications (Extended Version) (1996) (6)
Action Semantics and ASF+SDF: System Demonstration (2002) (6)
The Semantics of Semantic Equations (1974) (6)
A Gentle Introduction to Casl (2001) (5)
Special issue on structural operational semantics (2009) (5)
Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers (2005) (4)
Communicative Action Notation with Shared Storage (1993) (4)
Combining Algebraic and Set-Theoretic Specifications (1995) (4)
Semantics of programming languages: Using Asf+Sdf (2015) (4)
Recent trends in algebraic development techniques : 14th International Workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers (2000) (4)
Modular Language Descriptions (2004) (4)
The Action Environment: -- Tool Demonstration -- (2004) (4)
Action Semantics: Symbol Index (1992) (4)
Rn- and Gn-Logics (1995) (3)
Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models (1999) (3)
A Component-Based Formal Language Workbench (2019) (3)
Modularity in Structural Operational Semantics (extended Abstract) (1998) (3)
Executing Action Semantic Descriptions using ASF+SDF (1993) (3)
The Potential Use of Action Semantics in Standards (1986) (3)
A view of formal semantics (1989) (2)
Fundamental Constructs in Programming Languages (2021) (2)
CASL summary: The CoFI Language Design Group (2004) (2)
3 Getting Started (2004) (2)
The Operational Semantics of Action Notation (1992) (2)
Algebraic Specifications, Higher-order Types and Set-theoretic Models (2001) (2)
Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques (1999) (2)
Modular Semantics for Transition System Specifications with Negative Premises (2013) (2)
C asl Logic (2004) (1)
Valentin Antimirov (1961–1995) (1996) (1)
Rn and Gn Logics (1996) (1)
Constructive Action Semantics in OBJ (2006) (1)
Imperative Polymorphism by Store-Based Types as Abstract Interpretations (2015) (1)
Robustness of behavioral equivalence on open terms (2010) (1)
Engineering meta-languages for specifying software languages (keynote) (2017) (1)
Casl: The Common (2002) (1)
Intrinsically-typed definitional interpreters à la carte (2022) (1)
Semantics, Modularity, and Rewriting Logic Mosses 1 Modularity in Denotational Semantics Sition Relation Involving Semantic Action Arguments from a X : ! : X a X X and Its Reeexive-transitive Closure (1998) (1)
Formal Semantics of Programming Languages (2006) (1)
The Varieties of Programming Language Semantics (Summary) (2000) (1)
Unified Algebras (1988) (1)
Weak Bisimulation as a Congruence in MSOS (2015) (1)
A Casl Quick Reference (2004) (1)
C asl Libraries (2004) (0)
C asl Summary (2004) (0)
SBLP 2008: XII Brazilian Symposium on Programming Languages J.UCS Special Issue (2009) (0)
4 Partial Functions (2004) (0)
Action Semantics: Reflective (1992) (0)
Action Semantics: Preface (1992) (0)
13 Case Study: The Steam-Boiler Control System (2004) (0)
Action Semantics: List of Boxes (1992) (0)
Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development (1995) (0)
CASL syntax: The CoFI Language Design Group (2004) (0)
Acknowledgement to referees (1995) (0)
Programming with Data Dependencies: a Comparison of Two Approaches (1996) (0)
Action Semantics: Algebraic Specifications (1992) (0)
Action Semantics: Functional (1992) (0)
Modular SOS : Differences from SOS ? (2003) (0)
Action Semantics: Introduction (1992) (0)
Action Semantics: AD Action Semantics (1992) (0)
CoFI with Don Sannella (2018) (0)
7 Generic Specifications (2004) (0)
SBLP 2008: XII Brazilian Symposium on Programming (2008) (0)
Action Semantics: Subprograms (1992) (0)
Action Semantics: Other Frameworks (1992) (0)
R nand G n-Logics (1996) (0)
Caslthe Common AlgebraicSpeci cation Language 1 (1999) (0)
Action Semantics: Conclusion (1992) (0)
Action Semantics: Action Notation (1992) (0)
A Solution to Problem 7 - Parallel Combinator Reduction Machine - (1983) (0)
Action Semantics: Expressions (1992) (0)
Action Semantics: Tasks (1992) (0)
Action Semantics: Assessment (1992) (0)
6 Structuring Specifications (2004) (0)
On Proving Limited Completeness (1985) (0)
Valentin M. Antimirov (1961-1995) (1996) (0)
Action Semantics: Operational Semantics (1992) (0)
Action Semantics: Literals (1992) (0)
Chapter 6 – Casl for CafeOBJ Users (2000) (0)
Action Semantics: Semantic Descriptions (1992) (0)
C asl Semantics (2004) (0)
Action Semantics: Development (1992) (0)
Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques (2004) (0)
Action Semantics: Declarative (1992) (0)
Preface (2007) (0)
Action Semantics: Appendices (1992) (0)
of the Workshop on Applicability of Formal Methods AFM ’ 98 ( Aarhus , Denmark , June 2 , 1998 ) (1998) (0)
Action Semantics: Action Semantic Descriptions (1992) (0)
Action Semantics: Basic (1992) (0)
EasyChair Preprint No 1490 A component-based formal language workbench (0)
Action Semantics: Data Notation (1992) (0)
Action Semantics: Imperative (1992) (0)
8 Specifying the Architecture of Implementations (2004) (0)
Confluence of processes and systems of objects (1995) (0)
Algebraic approaches: By E.G. Manes and M.A. Arbib. Springer, Berlin/Heidelberg/ New York/London/Paris/Tokyo, 1986, 351 pages, Price DM 128.00 (1988) (0)
Foreword: Special Volume of TAPSOFT 1995 Papers (1996) (0)
A Tutorial on Action Semantics { DRAFT { (2015) (0)
Using Spoofax to Support Online Code Navigation (2023) (0)
Action Semantics: Variables (1992) (0)
B Points to Bear in Mind (2004) (0)
C The Steam-Boiler Control Specification Problem (2004) (0)
Modular SOS for Control Operators (2016) (0)
Action Semantics: Communicative (1992) (0)
Action Semantics: Informal Summary (1992) (0)
Action Semantics: Declarations (1992) (0)
2 Underlying Concepts (2004) (0)
Action Semantics: Language Descriptions (1992) (0)

This paper list is powered by the following services:

Other Resources About Peter Mosses

en.wikipedia.org

What Schools Are Affiliated With Peter Mosses?

Peter Mosses is affiliated with the following schools: