CONCUR 1990 | Sciweavers

37

CONCUR
1990
Springer

62views Distributed And Parallel Com...» more CONCUR 1990»

A Temporal Calculus of Communicating Systems

14 years 3 months ago

In this paper we describe the calculus TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is useful for the formal analysis of the timing aspects...

Faron Moller, Chris M. N. Tofts

claim paper

Read More »

30

click to vote

CONCUR
1990
Springer

66views Distributed And Parallel Com...» more CONCUR 1990»

Proving Termination of Communicating Programs

14 years 3 months ago

Download basics.sjtu.edu.cn

Pawel Paczkowski

claim paper

Read More »

29

click to vote

CONCUR
1990
Springer

65views Distributed And Parallel Com...» more CONCUR 1990»

An Axiomatization of Lamport's Temporal Logic of Actions

14 years 3 months ago

Download www.hpl.hp.com

Martín Abadi

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers