The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Peter D. Mosses: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Peter D. Mosses
    A Solution to Problem 7 - Parallel Combinator Reduction Machine -. [Citation Graph (0, 0)][DBLP]
    The Analysis of Concurrent Systems, 1983, pp:354-358 [Conf]
  2. Peter D. Mosses
    Action Semantics. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  3. Peter D. Mosses
    Unified Algebras. [Citation Graph (0, 0)][DBLP]
    ADT, 1988, pp:- [Conf]
  4. Christiano de O. Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses
    Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:407-421 [Conf]
  5. Arie van Deursen, Peter D. Mosses
    Executing Action Semantic Descriptions using ASF+SDF. [Citation Graph (0, 0)][DBLP]
    AMAST, 1993, pp:413-414 [Conf]
  6. Arie van Deursen, Peter D. Mosses
    ASD: The Action Semantic Description Tools. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:579-582 [Conf]
  7. Hélène Kirchner, Peter D. Mosses
    Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models. [Citation Graph (0, 0)][DBLP]
    AMAST, 1998, pp:373-388 [Conf]
  8. Peter D. Mosses
    Pragmatics of Modular SOS. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:21-40 [Conf]
  9. Peter D. Mosses
    Constructive Action Semantics in OBJ. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:281-295 [Conf]
  10. Peter D. Mosses
    A constructive approach to compiler correctness. [Citation Graph (0, 0)][DBLP]
    Semantics-Directed Compiler Generation, 1980, pp:189-210 [Conf]
  11. Claus Hintermeier, Hélène Kirchner, Peter D. Mosses
    Combining Algebraic and Set-Theoretic Specifications. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1995, pp:255-273 [Conf]
  12. Peter D. Mosses
    The Use of Sorts in Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1991, pp:66-92 [Conf]
  13. Peter D. Mosses
    Unified Algebras and Abstract Syntax. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1992, pp:280-294 [Conf]
  14. Peter D. Mosses
    Logical Specification of Operational Semantics. [Citation Graph (0, 0)][DBLP]
    CSL, 1999, pp:32-49 [Conf]
  15. Valentin M. Antimirov, Peter D. Mosses
    Rewriting Extended Regular Expressions. [Citation Graph (0, 0)][DBLP]
    Developments in Language Theory, 1993, pp:195-209 [Conf]
  16. Peter D. Mosses
    The Varieties of Programming Language Semantics. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2001, pp:165-190 [Conf]
  17. Peter D. Mosses, Martín Musicante
    An Action Semantics for ML Concurrency Primitives. [Citation Graph (0, 0)][DBLP]
    FME, 1994, pp:461-479 [Conf]
  18. Padmanabhan Krishnan, Peter D. Mosses
    Specifying Asynchronous Transfer of Control. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1992, pp:291-306 [Conf]
  19. Peter D. Mosses
    Modular Language Descriptions. [Citation Graph (0, 0)][DBLP]
    GPCE, 2004, pp:489- [Conf]
  20. Claus Hintermeier, Hélène Kirchner, Peter D. Mosses
    Rn- and Gn-Logics. [Citation Graph (0, 0)][DBLP]
    HOA, 1995, pp:90-108 [Conf]
  21. Peter D. Mosses
    A Constructive Approach to Compiler Correctness. [Citation Graph (0, 0)][DBLP]
    ICALP, 1980, pp:449-469 [Conf]
  22. Peter D. Mosses
    A Semantic Algebra for Binding Constructs. [Citation Graph (0, 0)][DBLP]
    ICFPC, 1981, pp:408-418 [Conf]
  23. Peter D. Mosses
    The Varieties of Programming Language Semantics. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2000, pp:624-628 [Conf]
  24. Peter D. Mosses
    Unified Algebras and Institutions [Citation Graph (0, 0)][DBLP]
    LICS, 1989, pp:304-312 [Conf]
  25. Christiano de O. Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses
    Mapping Modular SOS to Rewriting Logic. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2002, pp:262-277 [Conf]
  26. Peter D. Mosses
    The Semantics of Semantic Equations. [Citation Graph (0, 0)][DBLP]
    MFCS, 1974, pp:409-422 [Conf]
  27. Peter D. Mosses
    Compiler Generation Using Denotational Semantics. [Citation Graph (0, 0)][DBLP]
    MFCS, 1976, pp:436-441 [Conf]
  28. Peter D. Mosses
    Theory and Practice of Action Semantics. [Citation Graph (0, 0)][DBLP]
    MFCS, 1996, pp:37-61 [Conf]
  29. Peter D. Mosses
    Foundations of Modular SOS. [Citation Graph (0, 0)][DBLP]
    MFCS, 1999, pp:70-80 [Conf]
  30. Peter D. Mosses
    Unified Algebras and Modules. [Citation Graph (0, 0)][DBLP]
    POPL, 1989, pp:329-343 [Conf]
  31. Peter D. Mosses
    On the Action Semantics of Concurrent Programming Languages. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1992, pp:398-424 [Conf]
  32. Peter D. Mosses
    Exploiting labels in Structural Operational Semantics. [Citation Graph (0, 0)][DBLP]
    SAC, 2004, pp:1476-1481 [Conf]
  33. Peter D. Mosses
    A Basic Abstract Semantic Algebra. [Citation Graph (0, 0)][DBLP]
    Semantics of Data Types, 1984, pp:87-107 [Conf]
  34. Peter D. Mosses
    Unified Algebras and Action Semantics. [Citation Graph (0, 0)][DBLP]
    STACS, 1989, pp:17-35 [Conf]
  35. Peter D. Mosses
    CoFI: The Common Framework Initiative for Algebraic Specification and Development. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:115-137 [Conf]
  36. Peter D. Mosses
    CASL: A Guided Tour of Its Design. [Citation Graph (0, 0)][DBLP]
    WADT, 1998, pp:216-240 [Conf]
  37. Peter D. Mosses
    CoFI: The Common Framework Initiative for Algebraic Specification. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1996, v:59, n:, pp:- [Journal]
  38. Mark van den Brand, Jørgen Iversen, Peter D. Mosses
    An Action Environment. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:110, n:, pp:149-168 [Journal]
  39. Mark van den Brand, Jørgen Iversen, Peter D. Mosses
    The Action Environment: -- Tool Demonstration --. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:110, n:, pp:177-180 [Journal]
  40. Kyung-Goo Doh, Peter D. Mosses
    Composing Programming Languages by Combining Action-Semantics Modules. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:44, n:2, pp:- [Journal]
  41. Peter D. Mosses
    Action Semantics and ASF+SDF: System Demonstration. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:3, pp:- [Journal]
  42. Peter D. Mosses
    Formal Semantics of Programming Languages: - An Overview - . [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:148, n:1, pp:41-73 [Journal]
  43. Peter D. Mosses
    Semantics, modularity, and rewriting logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:15, n:, pp:- [Journal]
  44. Peter D. Mosses, Irek Ulidowski
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:156, n:1, pp:1-2 [Journal]
  45. Rob J. van Glabbeek, Peter D. Mosses
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:175, n:1, pp:1-2 [Journal]
  46. Peter D. Mosses
    Exploiting Labels in Structural Operational Semantics. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:60, n:1-4, pp:17-31 [Journal]
  47. Peter D. Mosses
    Modular structural operational semantics. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2004, v:60, n:, pp:195-228 [Journal]
  48. Peter D. Mosses
    A Constructive Approach to Language Definition. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2005, v:11, n:7, pp:1117-1134 [Journal]
  49. Peter D. Mosses
    A Foreword to `Fundamental Concepts in Programming Languages'. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2000, v:13, n:1/2, pp:7-9 [Journal]
  50. Hélène Kirchner, Peter D. Mosses
    Algebraic Specifications, Higher-order Types and Set-theoretic Models. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2001, v:11, n:3, pp:453-481 [Journal]
  51. Mark van den Brand, Jørgen Iversen, Peter D. Mosses
    An Action Environment. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2006, v:61, n:3, pp:245-264 [Journal]
  52. Kyung-Goo Doh, Peter D. Mosses
    Composing programming languages by combining action-semantics modules. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2003, v:47, n:1, pp:3-36 [Journal]
  53. Peter D. Mosses, Gordon D. Plotkin
    On Proving Limiting Completeness. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1987, v:16, n:1, pp:179-194 [Journal]
  54. Valentin M. Antimirov, Peter D. Mosses
    Rewriting Extended Regular Expressions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:143, n:1, pp:51-72 [Journal]
  55. Egidio Astesiano, Michel Bidoit, Hélène Kirchner, Bernd Krieg-Brückner, Peter D. Mosses, Donald Sannella, Andrzej Tarlecki
    CASL: the Common Algebraic Specification Language. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:286, n:2, pp:153-196 [Journal]
  56. Gregory Kucherov, Pierre Lescanne, Peter D. Mosses
    Valentin M. Antimirov (1961-1995). [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:155, n:2, pp:289-290 [Journal]
  57. Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach
    Foreword: Special Volume of TAPSOFT 1995 Papers. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:167, n:1&2, pp:1- [Journal]
  58. Peter D. Mosses, Irek Ulidowski
    Preface. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:373, n:3, pp:161-162 [Journal]
  59. Peter D. Mosses
    VDM Semantics of Programming Languages: Combinators and Monads. [Citation Graph (0, 0)][DBLP]
    Formal Methods and Hybrid Real-Time Systems, 2007, pp:483-503 [Conf]

  60. Component-Based Description of Programming Languages. [Citation Graph (, )][DBLP]


  61. Implicit Propagation in Structural Operational Semantics. [Citation Graph (, )][DBLP]


Search in 0.010secs, Finished in 0.014secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002