Actor model and process calculi - PDFSEARCH.IO - Document Search Engine

Actor model and process calculi
Results: 17

#	Item
1	Proceedings of the Fourth Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software Add to Reading List Source URL: places11.di.fc.ul.pt Language: English - Date: 2011-02-13 18:15:54 Process calculi Concurrent computing Distributed computing Actor model -calculus Calculus Bunched logic Parallel computing Resource fork Thread Resource management Concurrency
2	Type Systems Vasco T. Vasconcelos GLOBAN 2006 THE GLOBAL COMPUTING APPROACH TO ANALYSIS OF SYSTEMS International Summer School at DTU, August 21-25, 2006 Add to Reading List Source URL: www2.imm.dtu.dk Language: English - Date: 2006-08-08 04:44:28 Π-calculus Process calculus Mathematics Congruence Calculus Type system Actor model and process calculi Mobile Membranes Process calculi Applied mathematics Computer science
3	A CALCULUS FOR DISTRIBUTED MOBILE COMPUTING WITH STATIC RESOURCE ACCESS AND USAGE CONTROL By Mayuresh Kulkarni A Thesis Submitted to the Graduate Add to Reading List Source URL: wcl.cs.rpi.edu Language: English - Date: 2015-01-22 12:33:50 Computing Ambient calculus Π-calculus Process calculus Actor model Calculus Lambda calculus Communicating sequential processes Combinatory logic Process calculi Computer science Applied mathematics
4	Specifying and Checking Java using CSP? Michael M¨oller Universit¨ at Oldenburg, Fachbereich Informatik Postfach 2503, D–26111 Oldenburg, Germany Add to Reading List Source URL: www.cs.kun.nl Language: English - Date: 2002-05-29 03:53:26 Logic in computer science Formal methods Concurrent computing Cross-platform software Process calculi Communicating sequential processes Runtime verification Actor model Process calculus Computing Theoretical computer science Software engineering
5	Mobility and Security in Worldwide Computing Robin D. Toll Rensselaer Polytechnic Institute 110 8th Street Troy, NY, U.S.A. Add to Reading List Source URL: wcl.cs.rpi.edu Language: English - Date: 2015-01-22 12:32:40 Constructible universe Actor model Process calculi Symbol Π-calculus
6	Robin Milner LIST OF PUBLICATIONS, 2008 Books written 1. Edinburgh LCF; a Mechanized Logic of Computation, with M.J.C. Gordon and C.W. Wadsworth, LNCS781 , pages). Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-01-05 11:56:21 Process calculi Actor model Logic in computer science Robin Milner Bigraph Semantics of programming languages Computation Π-calculus Bunched logic Computer science Theoretical computer science Applied mathematics
7	3 Modelling Distributed Systems A. Yonezawat and C. Hewitt Artificial Intelligence Laboratory Massachusetts Institute of Technology. USA Add to Reading List Source URL: aitopics.org Language: English - Date: 2015-01-25 23:22:56 Concurrent computing Inter-process communication Process calculi Message passing Distributed computing Parallel computing Actor model theory Indeterminacy in concurrent computation Actor model Concurrency Computing
8	Understanding i. and Using Asynchronous Message Passing (Preliminary Version) Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-08-21 11:28:52 Inter-process communication Concurrent computing Logic in computer science Process calculi Actor model Message passing Predicate transformer semantics Communicating sequential processes Assertion Computing Computer programming Theoretical computer science
9	Communication models for services Niels Lohmann1,2 1 Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, P. O. Box ,  MB Eindhoven, The Netherlands Add to Reading List Source URL: CEUR-WS.org Language: English - Date: 2010-03-25 14:33:05 Computing Business Process Execution Language Models of communication Asynchronous communication SMS Request-response Message passing Actor model and process calculi Communication Technology Behavior
10	CHAPTER 1 Distributed Computing Environments The universe in which we will be operating will be called a distributed computing environment. It consists of a finite collection E of computational entities communicating by Add to Reading List Source URL: media.wiley.com Language: English - Date: 2007-10-05 16:07:58 Communications protocol Data transmission Protocols Distributed computing Actor model Communication Inter-process communication Actor model and process calculi Advanced Message Queuing Protocol Computing Information Data