Search Sciweavers | Sciweavers

7943 search results - page 26 / 1589

» A calculus for costed computations

click to vote

BIRTHDAY
2007
Springer

117views Applied Computing» more BIRTHDAY 2007»

Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus

14 years 1 months ago

Download www.iist.unu.edu

Dang Van Hung

claim paper

Read More »

click to vote

RTA
2005
Springer

95views Theoretical Computer Science» more RTA 2005»

Reduction in a Linear Lambda-Calculus with Applications to Operational Semantics

14 years 26 days ago

Download homepages.inf.ed.ac.uk

Alex K. Simpson

claim paper

Read More »

click to vote

GC
2004
Springer

108views Applied Computing» more GC 2004»

The Kell Calculus: A Family of Higher-Order Distributed Process Calculi

14 years 23 days ago

Download www.dsi.unive.it

Alan Schmitt, Jean-Bernard Stefani

claim paper

Read More »

click to vote

BIRTHDAY
2000
Springer

92views Applied Computing» more BIRTHDAY 2000»

A calculus of communicating systems with label passing - ten years after

13 years 11 months ago

Download www.evernote.com

Uffe Engberg, Mogens Nielsen

claim paper

Read More »

click to vote

CMSB
2006
Springer

105views Applied Computing» more CMSB 2006»

Modal Logics for Brane Calculus

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers