Algebra of Communicating Processes - PDFSEARCH.IO - Document Search Engine

Algebra of Communicating Processes
Results: 6

#	Item
1	Dataflow Constructs for a Language Extension Based on the Algebra of Communicating Processes André van Delft andre dot vandelft at gmail dot com ABSTRACT Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2014-03-18 17:06:31 Software engineering Computing Computer programming Functional languages Concurrent programming languages Scripting languages Cross-platform software Control flow Scala Futures and promises JavaScript Event loop
2	Linear unary operators in process algebra Linear unary operators in process algebra Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2005-08-09 06:42:47 Operator theory Algebra of Communicating Processes Process calculi Abstract algebra Modal logic Von Neumann algebra Algebra Unary operation
3	hiJaC Contracts in a State-rich Timed Process Algebra Kun Wei, Jim Woodcock and Ana Cavalcanti Department of Computer Science University of York Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2013-02-26 07:24:06 Boolean algebra Mathematical logic Communicating sequential processes Process calculus Circus Process calculi
4	Relationships between Models of Concurrency Mogens Nielsen∗ Add to Reading List Source URL: www.daimi.au.dk Language: English - Date: 2000-09-12 07:39:17 Abstract algebra State transition system Petri net Structure Determinism Model theory Trace monoid Denotational semantics Communicating sequential processes Models of computation Mathematics Theoretical computer science
5	PDF Document Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2004-01-13 10:32:24 Formal methods Process calculus Denotational semantics Algebra of Communicating Processes Communicating sequential processes Algebraic structure Universal algebra Construction and Analysis of Distributed Processes Calculus of communicating systems Process calculi Theoretical computer science Mathematics
6	doi:[removed]j.entcs[removed] Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2007-09-04 04:02:48 Jan Bergstra Process calculus Algebra of Communicating Processes Abstract algebra Computer science Communicating sequential processes Algebraic logic Axiom Algebra Process calculi Computing Software