|
|
|
google unix.com
|
|||||||
| Forums | Register | Forum Rules | Links | Albums | FAQ | Members List | Calendar | Search | Today's Posts | Mark Forums Read |
| UNIX and Linux RSS News The latest news covering Solaris, RedHat, Ubuntu, Debian, Slackware, HP-UX, AIX, BSD, Apple OS X and more! |
More UNIX and Linux Forum Topics You Might Find Helpful
|
||||
| Thread | Thread Starter | Forum | Replies | Last Post |
| Theory 0.1.1 (Default branch) | iBot | Software Releases - RSS News | 0 | 11-29-2008 03:40 AM |
| San Le's Free Computational Fluid Dynamics 1.2 (Default branch) | iBot | Software Releases - RSS News | 0 | 07-04-2008 06:20 AM |
| San Le's Free Computational Fluid Dynamics 1.1 (Default branch) | iBot | Software Releases - RSS News | 0 | 04-18-2008 03:20 AM |
| Theory question about the organization of a UNIX file... | ti_ma | UNIX for Dummies Questions & Answers | 1 | 04-07-2008 02:03 PM |
| Need Help installing a Computational Tool Kit | dsmv | UNIX for Advanced & Expert Users | 1 | 01-10-2006 02:37 PM |
Powered by 
|
|
|
LinkBack | Thread Tools | Search this Thread | Rate Thread | Display Modes |
12-07-2008
|
|||||
|
|||||
|
A Logical and Computational Theory of Located Resource
HPL-2008-74 (R.1) A Logical and Computational Theory of Located Resource - Collinson, Matthew; Monahan, Brian; Pym, David
Keyword(s): Bunched logic, process algebra, resource semantics, location, systems modelling Abstract: Experience of practical systems modelling suggests that the key conceptual components of a model of a system are processes, resources, locations, and environment. In recent work, we have given a process-theoretic account of this view in which resources as well as processes are first-class citizens. ... Full Report More... |
| Bookmarks |
| Thread Tools | Search this Thread |
| Display Modes | Rate This Thread |
|
|
Threaded Mode
