Search Sciweavers | Sciweavers

942 search results - page 18 / 189

» Process Algebraic Non-product-forms

113

click to vote

ICALP
1999
Springer

85views Programming Languages» more ICALP 1999»

Comparison of Process Algebra Equivalences Using Formats

15 years 10 months ago

Download www.cs.wits.ac.za

Vashti Galpin

claim paper

Read More »

110

click to vote

EURODAC
1994
IEEE

127views VHDL» more EURODAC 1994»

A process algebra interpretation of a verification oriented overlanguage of VHDL

15 years 10 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 »

118

click to vote

ISCAS
1993
IEEE

97views Hardware» more ISCAS 1993»

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

15 years 10 months ago

Download www.ece.uprm.edu

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

claim paper

Read More »

122

click to vote

CONCUR
1993
Springer

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

Non Interleaving Process Algebra

15 years 10 months ago

Download alexandria.tue.nl

Jos C. M. Baeten, Jan A. Bergstra

claim paper

Read More »

118

click to vote

CSL
1993
Springer

87views Automated Reasoning» more CSL 1993»

Process Algebra with Combinators

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers