Search Sciweavers | Sciweavers

4460 search results - page 34 / 892

» Resources in process algebra

click to vote

ICALP
1999
Springer

85views Programming Languages» more ICALP 1999»

Comparison of Process Algebra Equivalences Using Formats

14 years 2 months ago

Download www.cs.wits.ac.za

Vashti Galpin

claim paper

Read More »

click to vote

EURODAC
1994
IEEE

127views VHDL» more EURODAC 1994»

A process algebra interpretation of a verification oriented overlanguage of VHDL

14 years 1 months ago

Download www.cs.york.ac.uk

The VOVHDL language was defined as a verification oriented VHDL

Catherine Bayol, Bernard Soulas, Dominique Borrion...

claim paper

Read More »

click to vote

ISCAS
1993
IEEE

97views Hardware» more ISCAS 1993»

Algebraic methods for the analysis and design of time-frequency signal processing algorithms

14 years 1 months ago

Download www.ece.uprm.edu

Domingo Rodríguez, Jaime Seguel, Edgardo Cr...

claim paper

Read More »

click to vote

CONCUR
1993
Springer

88views Distributed And Parallel Com...» more CONCUR 1993»

Non Interleaving Process Algebra

14 years 1 months ago

Download alexandria.tue.nl

Jos C. M. Baeten, Jan A. Bergstra

claim paper

Read More »

click to vote

CSL
1993
Springer

87views Automated Reasoning» more CSL 1993»

Process Algebra with Combinators

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers