Search Sciweavers | Sciweavers

1724 search results - page 29 / 345

» Models for Concurrency

click to vote

MFCS
1991
Springer

80views Theoretical Computer Science» more MFCS 1991»

Models for Concurrency

13 years 11 months ago

Download www.daimi.au.dk

Mogens Nielsen

claim paper

Read More »

click to vote

POPL
1991
ACM

91views Programming Languages» more POPL 1991»

Modeling Concurrency with Geometry

13 years 11 months ago

Download infolab.stanford.edu

Vaughan R. Pratt

claim paper

Read More »

click to vote

APN
2008
Springer

122views Artificial Intelligence» more APN 2008»

Modelling Concurrency with Quotient Monoids

13 years 9 months ago

Download www.cs.toronto.edu

Four quotient monoids over step sequences and one with compound generators are introduced and discussed. They all can be regarded as extensions (of various degrees) of Mazurkiewicz...

Ryszard Janicki, Dai Tri Man Le

claim paper

Read More »

click to vote

COLING
1994

88views Computational Linguistics» more COLING 1994»

Concurrent Lexicalized Dependency Parsing: The ParseTalk Model

13 years 8 months ago

Download acl.ldc.upenn.edu

Norbert Bröker, Udo Hahn, Susanne Schacht

claim paper

Read More »

click to vote

ICECCS
2010
IEEE

139views Hardware» more ICECCS 2010»

Formal Modeling for UML/MARTE Concurrency Resources

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers