Sage Journals: Discover world-class research

Retricted access

Research article

First published 1992

Operational and Denotational Semantics with Explicit Concurrency

Manfred Broy

Fundamenta Informaticae

Retricted access

Research article

First published 2004-12

A Timed Linda Language and its Denotational Semantics

Frank S. de Boer, Maurizio Gabbrielli, Maria C. Meo

Fundamenta Informaticae

Retricted access

Research article

First published 1999-12

Full Abstractness of a Metric Semantics for Action Refinement

J.I. den Hartog, E.P. de Vink, J.W. de Bakker

Fundamenta Informaticae

Retricted access

Research article

First published 2017

Concurrency Semantics in Continuation-Passing Style

Eneia Nicolae Todoran, Nikolaos Papaspyrou

Fundamenta Informaticae

Retricted access

Research article

First published 2012-4

Formal syntax and semantics of basic function blocks in IEC 61499

Y Tu, D Li, S Li

Proceedings of the Institution of Mechanical Engineers,Part C: Journal of Mechanical Engineering Science

Retricted access

Other

First published 2004-5

Model checking for the concurrent constraint paradigm

Alicia Villanueva

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 1997-9

The ζ-Semantics: A Comprehensive Semantics for Functional Programs

Olaf Chitil

Fundamenta Informaticae

Retricted access

Research article

First published 2013-4

Denotation and connotation in public representation: Semantic network analysis of Hwang supporters’ internet dialogues

Leo Kim

Public Understanding of Science

Retricted access

Research article

First published 2007-1

Stochastic Petri Box Calculus with Discrete Time

Igor V. Tarasyuk

Fundamenta Informaticae

Retricted access

Research article

First published 2009-2

Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing

Yingxu Wang

Fundamenta Informaticae

Search results