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

Keep up to date

All content on this site: Copyright © 2026 Sage Publications. All rights reserved. This website is technically supported and operated by China National Publications Import and Export (Group) Co., Ltd. 京ICP备09090397号-11

Search results

Search results page

Articles (3)

Journals (0)

1-3 of 3 results for Interleaving and Truly Concurrent Semantics

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Parameterized Structured Operational Semantics

Restricted access

Research article

First published May, 1998

Parameterized Structured Operational Semantics

Gian Luigi Ferrari, Ugo Montanari

Fundamenta Informaticae

Select article: SEMANTICS OF TIMED CONCURRENT SYSTEMS

Restricted access

Research article

First published January, 1997

SEMANTICS OF TIMED CONCURRENT SYSTEMS

Piotr Dembiński

Fundamenta Informaticae

Select article: COMBINING CCS AND PETRI NETS VIA STRUCTURAL AXIOMS

Restricted access

Research article

First published June, 1994

COMBINING CCS AND PETRI NETS VIA STRUCTURAL AXIOMS

Ugo Montanari, Daniel Yankelevich

Fundamenta Informaticae

1
10 / page

Filter Results

Article type

Publication date

Subjects

Access