Search Sciweavers | Sciweavers

67 search results - page 1 / 14

» On the expressibility of priority

click to vote

PE
2006
Springer

124views Optimization» more PE 2006»

On priority queues with priority jumps

13 years 10 months ago

Download telin.ugent.be

In this paper, we investigate a simplified head-of-the-line with priority jumps (HOL-PJ) scheduling discipline. Therefore, we consider a discrete-time single-server queueing syste...

Tom Maertens, Joris Walraevens, Herwig Bruneel

claim paper

Read More »

click to vote

ENTCS
2008

91views more ENTCS 2008»

Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems

13 years 11 months ago

Download www.cs.unibo.it

Defining operational semantics for a process algebra is often based either on labeled transition systems that account for interaction with a context or on the so-called reduction ...

Mario Bravetti

claim paper

Read More »

click to vote

CONCUR
2007
Springer

78views Distributed And Parallel Com...» more CONCUR 2007»

On the Expressive Power of Global and Local Priority in Process Calculi

14 years 5 months ago

Download www.cs.unibo.it

Priority is a frequently used feature of many computational systems. In this paper we study the expressiveness of two process algebras enriched with diﬀerent priority mechanisms...

Cristian Versari, Nadia Busi, Roberto Gorrieri

claim paper

Read More »

click to vote

FOSSACS
2009
Springer

100views Software Engineering» more FOSSACS 2009»

On the Expressive Power of Restriction and Priorities in CCS with Replication

14 years 5 months ago

Download www.lix.polytechnique.fr

Jesús Aranda, Frank D. Valencia, Cristian V...

claim paper

Read More »