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

Journals (0)

1-10 of 18 results for real time process algebra

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Testing Semantics for RTPA

Retricted access

Research article

First published 2009-2

Testing Semantics for RTPA

Luis Llana, Manuel Núuñez

Fundamenta Informaticae

Select article: Performance Evaluation of Distributed Systems Based on a Discrete Real- and Stochastic-Time Process Algebra

Retricted access

Research article

First published 2009-8

Performance Evaluation of Distributed Systems Based on a Discrete Real- and Stochastic-Time Process Algebra

Jasen Markovski, Erik P. de Vink

Fundamenta Informaticae

Select article: Completeness of Timed μCRL

Retricted access

Research article

First published 2002-5

Completeness of Timed μCRL

Michel Reniers, J.F Groote, M.B. van der Zwaag [...]

Fundamenta Informaticae

Select article: Process Algebra with Nonstandard Timing

Retricted access

Research article

First published 2002-11

Process Algebra with Nonstandard Timing

Kees A. Middelburg

Fundamenta Informaticae

Select article: Located Actions in Process Algebra with Timing

Retricted access

Research article

First published 2004-7

Located Actions in Process Algebra with Timing

Jan A. Bergstra, Cornelis A. Middelburg

Fundamenta Informaticae

Select article: An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation

Retricted access

Research article

First published 2009-11

An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation

Józef Winkowski

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

Select article: APPLYING UNIFYING THEORIES OF PROGRAMMING TO REAL-TIME PROGRAMMING

Retricted access

Research article

First published 2006-11

APPLYING UNIFYING THEORIES OF PROGRAMMING TO REAL-TIME PROGRAMMING

Alvaro E. Arenas, Juan C. Bicarregui

Journal of Integrated Design and Process Science

Select article: $-Calculus of Bounded Rational Agents: Flexible Optimization as Search under Bounded Resources in Interactive Systems

Retricted access

Research article

First published 2005-10

$-Calculus of Bounded Rational Agents: Flexible Optimization as Search under Bounded Resources in Interactive Systems

Eugene Eberbach

Fundamenta Informaticae

Select article: Internal combustion engine exhaust gas analysis

Retricted access

Research article

First published 2017-4

Internal combustion engine exhaust gas analysis

Nick Collings, Keith Glover, Bruce Campbell [...]

International Journal of Engine Research

1
2
10 / page

Article type

Publication date

Subjects

Access