You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (20)

Journals (0)

1-10 of 20 results for denotational and operational semantics

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Operational and Denotational Semantics with Explicit Concurrency

Retricted access

Research article

First published 1992

Operational and Denotational Semantics with Explicit Concurrency

Manfred Broy

Fundamenta Informaticae

Select article: Full Abstractness of a Metric Semantics for Action Refinement

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

Select article: The ζ-Semantics: A Comprehensive Semantics for Functional Programs

Retricted access

Research article

First published 1997-9

The ζ-Semantics: A Comprehensive Semantics for Functional Programs

Olaf Chitil

Fundamenta Informaticae

Select article: Stochastic Petri Box Calculus with Discrete Time

Retricted access

Research article

First published 2007-1

Stochastic Petri Box Calculus with Discrete Time

Igor V. Tarasyuk

Fundamenta Informaticae

Select article: Fully Abstract Semantics for a Coordination Model with Asynchronous Communication and Enhanced Matching

Retricted access

Research article

First published 2006-11

Fully Abstract Semantics for a Coordination Model with Asynchronous Communication and Enhanced Matching

Antonio Brogi, Jean-Marie Jacquet, Isabelle Linden

Fundamenta Informaticae

Select article: An Assessment of Programming Styles: Assignment-Oriented Languages Versus Functional and Applicative Languages 1

Retricted access

Research article

First published 1986

An Assessment of Programming Styles: Assignment-Oriented Languages Versus Functional and Applicative Languages 1

Manfred Broy

Fundamenta Informaticae

Select article: Operational,Denotational and Logical Descriptions: A Case Study 1

Retricted access

Research article

First published 1992

Operational,Denotational and Logical Descriptions: A Case Study 1

Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca

Fundamenta Informaticae

Select article: Concurrency Semantics in Continuation-Passing Style

Retricted access

Research article

First published 2017

Concurrency Semantics in Continuation-Passing Style

Eneia Nicolae Todoran, Nikolaos Papaspyrou

Fundamenta Informaticae

Select article: BISIMULATION SEMANTICS FOR CONCURRENCY WITH ATOMICITY AND ACTION REFINEMENT

Retricted access

Research article

First published 1994-6

BISIMULATION SEMANTICS FOR CONCURRENCY WITH ATOMICITY AND ACTION REFINEMENT

J.W. de Bakker, E.P. de Vink

Fundamenta Informaticae

Select article: Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing

Retricted access

Research article

First published 2009-2

Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing

Yingxu Wang

Fundamenta Informaticae

1
2
10 / page

Article type

Publication date

Subjects

Access