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 (29)

Journals (0)

1-10 of 29 results for semantics of concurrent computations

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: SEMANTICS OF TIMED CONCURRENT SYSTEMS

Retricted access

Research article

First published 1997-1

SEMANTICS OF TIMED CONCURRENT SYSTEMS

Piotr Dembiński

Fundamenta Informaticae

Select article: A Concurrent Functional Semantics for a Process Algebra Based on Action Systems

Retricted access

Research article

First published 1997-9

A Concurrent Functional Semantics for a Process Algebra Based on Action Systems

Ugo Montanari, Gioia Ristori

Fundamenta Informaticae

Select article: On Temporal Logic for Distributed Systems and Its Application to Processes Communicating by Interrupts

Retricted access

Research article

First published 1989

On Temporal Logic for Distributed Systems and Its Application to Processes Communicating by Interrupts

Andrzej Szalas, Uwe Petermann

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: Model checking for the concurrent constraint paradigm

Retricted access

Other

First published 2004-5

Model checking for the concurrent constraint paradigm

Alicia Villanueva

The European Journal on Artificial Intelligence

Select article: A Multi-facet Approach to Dynamic Agent Systems

Retricted access

Research article

First published 2008-5

A Multi-facet Approach to Dynamic Agent Systems

Marek A. Bednarczyk, Wiesław Pawłowski, Luca Bernardinello [...]

Fundamenta Informaticae

Select article: Time in State Machines

Retricted access

Research article

First published 2007-4

Time in State Machines

Susanne Graf, Andreas Prinz

Fundamenta Informaticae

Select article: An Operational Semantics and Compiler for Real-Time Specifications 1

Retricted access

Research article

First published 1998-8

An Operational Semantics and Compiler for Real-Time Specifications 1

Carlos Puchol, Douglas A. Stuart, Aloysius K. Mok

Integrated Computer-Aided Engineering

Select article: An integrated task management system to reduce semantic conflicts in multi-user computer-aided design

Retricted access

Research article

First published 2015-6

An integrated task management system to reduce semantic conflicts in multi-user computer-aided design

Ammon Hepworth, Keith Halterman, Brett Stone [...]

Concurrent Engineering

1
2
3
10 / page

Article type

Publication date

Subjects

Access