Nets, Terms and Formulas

Three Views of Concurrent Processes and their Relationship

Häftad, Engelska, 2005

Av Germany) Olderog, E. -R. (Carl V. Ossietzky Universitat Oldenburg, E. R. Olderog, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

809 kr

Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

Inbunden

1 969 kr

Skickas inom 7-10 vardagar
The author presents a theory whereby nets, terms and formulas represent concurrent processes at three levels of abstraction. The use of transformations in a series of case studies and the author identifies directions for research.

Produktinformation

Du kanske också är intresserad av

Nets, Terms and Formulas

Nets, Terms and Formulas

Germany) Olderog, E. -R. (Carl V. Ossietzky Universitat Oldenburg, E. -R Olderog

1 969 kr

The Uncertain Reasoner's Companion

The Uncertain Reasoner's Companion

J. B. (University of Manchester) Paris, J. B. Paris, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

849 kr

Topology via Logic

Topology via Logic

London) Vickers, Steven (Imperial College of Science, Technology and Medicine, Steven Vickers, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

839 kr

Akrylfärg Simply 25 delar

Akrylfärg Simply 25 delar

Daler-Rowney

199 kr

Algorithmic Information Theory

Algorithmic Information Theory

Gregory. J. Chaitin, Gregory J. Chaitin, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

839 kr

Updating Logical Databases

Updating Logical Databases

Urbana-Champaign) Winslett, Marianne (University of Illinois, Marianne Winslett, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

669 kr

Logic and Computation

Logic and Computation

Lawrence C. (University of Cambridge) Paulson, Lawrence C. Paulson, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

939 kr

Formal Methods in Artificial Intelligence

Formal Methods in Artificial Intelligence

Allan M. (University College Dublin) Ramsay, Allan Ramsay, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

739 kr

Theoretical Foundations of VLSI Design

Theoretical Foundations of VLSI Design

K. (University of Leeds) McEvoy, Swansea) Tucker, J. V. (University of Wales, K. McEvoy, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

1 049 kr

The Optimal Implementation of Functional Programming Languages

The Optimal Implementation of Functional Programming Languages

Italy) Asperti, Andrea (Universita degli Studi, Bologna, Queen Mary University of London) Guerrini, Stefano (Professor, Andrea Asperti, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

1 439 kr

Tillhör följande kategorier