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

Journals (0)

1-10 of 156 results for concurrency semantics

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Continuation Semantics for Asynchronous Concurrency

Retricted access

Research article

First published 2014-6

Continuation Semantics for Asynchronous Concurrency

Gabriel Ciobanu, Eneia Nicolae Todoran

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: Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity

Retricted access

Research article

First published 2008-6

Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity

Gabriel Juhás, Robert Lorenz, Sebastian Mauser

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: 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: 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: 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: Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets

Retricted access

Research article

First published 2000-11

Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets

Nadia Busi, G. Michele Pinna

Fundamenta Informaticae

Select article: Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs

Retricted access

Research article

First published 2004-4

Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs

Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri

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

1
2
3
•••
16
10 / page

Article type

Publication date

Subjects

Access