PARLE 1987 | Sciweavers

16

PARLE
1987

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

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

13 years 8 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 »

12

click to vote

PARLE
1987

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

Specifying Functional and Timing Behavior for Real-Time Applications

13 years 8 months ago

Download www.cs.cmu.edu

Mario Barbacci, Jeannette M. Wing

claim paper

Read More »

14

click to vote

PARLE
1987

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

Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages

13 years 8 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