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

Journals (0)

1-10 of 102 results for timed process algebra

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

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: On the Relationships among four Timed Process Algebras

Retricted access

Research article

First published 1999-7

On the Relationships among four Timed Process Algebras

Flavio Corradini, Domenicantonio D'Ortenzio, Paola Inverardi

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: Quantifying Security for Timed Process Algebras

Retricted access

Research article

First published 2009-6

Quantifying Security for Timed Process Algebras

Damas P. Gruska

Fundamenta Informaticae

Select article: DISCRETE TIME PROCESS ALGEBRA: ABSOLUTE TIME,RELATIVE TIME AND PARAMETRIC TIME

Retricted access

Research article

First published 1997-1

DISCRETE TIME PROCESS ALGEBRA: ABSOLUTE TIME,RELATIVE TIME AND PARAMETRIC TIME

J.C.M. Baeten, J.A. Bergstra

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: Observation Based System Security

Retricted access

Research article

First published 2007-10

Observation Based System Security

Damas P. Gruska

Fundamenta Informaticae

Select article: Concatenable Weighted Pomsets and Their Applications to Modelling Processes of Petri Nets

Retricted access

Research article

First published 1996-12

Concatenable Weighted Pomsets and Their Applications to Modelling Processes of Petri Nets

Józef Winkowski

Fundamenta Informaticae

Select article: Probabilistic Information Flow Security

Retricted access

Research article

First published 2008-5

Probabilistic Information Flow Security

Damas P. Gruska

Fundamenta Informaticae

1
2
3
•••
11
10 / page

Article type

Publication date

Subjects

Access