Results 321 to 330 of about 1,341,656 (346)

Modality-Specific Operations in Semantic Dementia

Cortex, 1997
A patient suffering from semantic dementia is described who consistently demonstrated the preserved ability to support specific types of semantic judgements from visual, but not from verbal, input. In addition the representations accessed from visual input were found to trigger complex behavioural schemata, while with verbal materials the patients ...
LAURO GROTTO, ROSAPIA, PICCINI C., SHALLICE T.   +2 more
openaire   +3 more sources

Typed operational semantics

1995
This paper introduces typed operational semantics, a class of formal systems which define a reduction to normal form for the welltyped terms of a particular type theory. These systems lead to a new approach to the metatheory for type theories, which we develop here for the simply typed lambda calculus.
openaire   +1 more source

An operational semantics for occam

International Journal of Parallel Programming, 1989
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Graphical Operational Semantics

2000
We combine the methodology of Plotkin-style operational semantics with graph transformation concepts in order to specify the operational semantics of diagram ...
CORRADINI, ANDREA, Heckel R, MONTANARI, UGO GIOVANNI ERASMO   +2 more
openaire   +1 more source

An Operational Semantics of BPMN Collaboration

International Workshop on Formal Aspects of Component Software, 2015
F. Corradini, Andrea Polini, Barbara Re, F. Tiezzi   +3 more
semanticscholar   +1 more source

Programming Languages and Operational Semantics

Undergraduate Topics in Computer Science, 2014
M. Fernández
semanticscholar   +1 more source

An operational semantics for the goal life-cycle in BDI agents

Autonomous Agents and Multi-Agent Systems, 2013
James Harland, David N. Morley, John Thangarajah, N. Yorke-Smith   +3 more
semanticscholar   +1 more source

Operational Semantics

2012
Cas Cremers, Sjouke Mauw
openaire   +1 more source

An operational semantics for Occam

1988
Occam is a programming language designed to support concurrent applications, especially those implemented on networks of communicating processors. The aim of this paper is to formulate the meaning of the language constructs of Occam by semantic definitions which are intended as a direct formalisation of the natural language descriptions usually found ...
openaire   +1 more source

Generating Specialized Interpreters for Modular Structural Operational Semantics

International Workshop/Symposium on Logic-based Program Synthesis and Transformation, 2013
Casper Bach Poulsen, Peter D. Mosses
semanticscholar   +1 more source