Search Sciweavers | Sciweavers

946 search results - page 34 / 190

» Process Algebra and Non-Interference

click to vote

EURODAC
1994
IEEE

127views VHDL» more EURODAC 1994»

A process algebra interpretation of a verification oriented overlanguage of VHDL

14 years 2 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 2 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 2 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 2 months ago

Download igitur-archive.library.uu.nl

Jan A. Bergstra, Inge Bethke, Alban Ponse

claim paper

Read More »

click to vote

FSTTCS
1994
Springer

101views Software Engineering» more FSTTCS 1994»

Priority and Abstraction in Process Algebra

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers