sequential composition operator

32

TCS
2002

109views Theoretical Computer Science» more TCS 2002»

A truly concurrent semantics for a process algebra using resource pomsets

13 years 11 months ago

In this paper we study a process algebra whose semantics is based on true concurrency. In our model, actions are defined in terms of the resources they need to execute, which allo...

Paul Gastin, Michael W. Mislove

claim paper

Read More »

32

click to vote

ITA
2007

94views Communications» more ITA 2007»

Three notes on the complexity of model checking fixpoint logic with chop

13 years 11 months ago

Download www2.tcs.ifi.lmu.de

Abstract. This paper analyses the complexity of model checking Fixpoint Logic with Chop – an extension of the modal µ-calculus with a sequential composition operator. It uses tw...

Martin Lange

claim paper

Read More »

34

click to vote

IANDC
2006

95views more IANDC 2006»

The alternation hierarchy in fixpoint logic with chop is strict too

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers