Sciweavers

4166 search results - page 7 / 834

» Automating the constraining process

19

LICS
1998
IEEE

68views Automated Reasoning» more LICS 1998»

Recursive Types in Games: Axiomatics and Process Representation

13 years 11 months ago

Recursive Types in Games: Axiomatics and Process Representation

Download www.eecs.qmul.ac.uk

Marcelo P. Fiore, Kohei Honda

claim paper

Read More »

21

TIME
1997
IEEE

102views Automated Reasoning» more TIME 1997»

Enhancements to the Ground Processing Scheduling System

13 years 11 months ago

Enhancements to the Ground Processing Scheduling System

Download www.aaai.org

Juan Jose Blanco, Lina Khatib

claim paper

Read More »

13

CSL
1993
Springer

87views Automated Reasoning» more CSL 1993»

Process Algebra with Combinators

13 years 11 months ago

Process Algebra with Combinators

Download igitur-archive.library.uu.nl

Jan A. Bergstra, Inge Bethke, Alban Ponse

claim paper

Read More »

22

LICS
1989
IEEE

99views Automated Reasoning» more LICS 1989»

Towards Action-Refinement in Process Algebras

13 years 11 months ago

Towards Action-Refinement in Process Algebras

Download www.tara.tcd.ie

Luca Aceto, Matthew Hennessy

claim paper

Read More »

15

LICS
1995
IEEE

88views Automated Reasoning» more LICS 1995»

A Typed Calculus of Synchronous Processes

13 years 11 months ago

A Typed Calculus of Synchronous Processes

Download www.dcs.gla.ac.uk

Simon J. Gay, Rajagopal Nagarajan

claim paper

Read More »

« Prev « First page 7 / 834 Last » Next »