Peter Mosses - PDFSEARCH.IO - Document Search Engine

Peter Mosses
Results: 8

#	Item
1	A component-based approach to semantics Peter Mosses Swansea University, UK Modularity’15 • March18, 2015 Fort Collins, Colorado, USA Add to Reading List Source URL: modularity.info - Date: 2016-10-14 09:00:16
2	Modular Bisimulation Theory for Computations and Values Martin Churchill and Peter D. Mosses Swansea University, UK FoSSaCS, Rome Add to Reading List Source URL: plancomps.dreamhosters.com - Date: 2014-11-22 16:20:54
3	Modular Bisimulation Theory for Computations and Values Martin Churchill and Peter D. Mosses {m.d.churchill,p.d.mosses}@swansea.ac.uk Department of Computer Science, Swansea University, Swansea, UK Add to Reading List Source URL: plancomps.dreamhosters.com Language: English - Date: 2014-11-22 16:20:54 Logic in computer science Theoretical computer science Automated theorem proving Logic programming Bisimulation Substitution Operational semantics Transition system Derivative Permutation Variable -calculus
4	BRICS DS-05-2 J. Iversen: Formalisms and tools supporting Constructive Action Semantics BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-01-15 18:51:53 Programming language semantics Action semantics Formal languages Peter Mosses Programming language SYNTAX ASF+SDF Meta Environment Programming language theory Theoretical computer science Software engineering
5	BRICS Basic Research in Computer Science BRICS NS-94-4 P. D. Mosses (ed.): 6th Nordic Workshop on Programming Theory Add to Reading List Source URL: www.brics.dk Language: English - Date: 2003-12-10 05:30:33 Logic in computer science Programming language semantics Philosophical logic Modal logic Model checking Denotational semantics Peter Mosses Temporal logic Mereology Theoretical computer science Mathematical logic Logic
6	BRICS DS-04-1 B. Klin: An Abstract Coalgebraic Approach to Process Equivalence for Well-Behaved Operational Semantics BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2004-08-23 08:48:12 Programming language semantics Logic in computer science Operational semantics BRIC Peter Mosses Gordon Plotkin Congruence relation Theoretical computer science Mathematics Formal methods
7	BRICS Basic Research in Computer Science BRICS NS-00-6 Mosses & de Moura (eds.): AS 2000 Proceedings Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-09-26 04:40:35 Peter Mosses Theoretical computer science David Watt Federal University of Pernambuco BRIC Computer science Formal methods Programming language semantics Action semantics
8	Component-Based Description of Programming Languages Peter D. Mosses Add to Reading List Source URL: www.bcs.org Language: English - Date: 2011-01-10 14:16:37 Software engineering Programming language theory Formal languages Denotational semantics Procedural programming languages Operational semantics Semantics Action semantics Programming language Theoretical computer science Logic in computer science Programming language semantics