PARLE 1987 | Sciweavers

43

PARLE
1987

140views Distributed And Parallel Com...» more PARLE 1987»

Emulating Digital Logic using Transputer Networks (very High Parallelism = Simplicity = Performance)

14 years 4 months ago

Modern VLSI technology has changed the economic rules by which the balance between processing power, memory and communications is decided in computing systems. This will have a pr...

Peter H. Welch

claim paper

Read More »

41

click to vote

PARLE
1987

58views Distributed And Parallel Com...» more PARLE 1987»

Specifying Functional and Timing Behavior for Real-Time Applications

14 years 4 months ago

Download www.cs.cmu.edu

Mario Barbacci, Jeannette M. Wing

claim paper

Read More »

35

click to vote

PARLE
1987

144views Distributed And Parallel Com...» more PARLE 1987»

Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages

14 years 4 months ago

Download web.mac.com

A context-freegrammar(CFG)in GreibachNormalForm coincides,in anothernotation,witha system of guarded recursion equations in Basic Process Algebra. Hence to each CFG a process can b...

Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers