Skip to search formSkip to main contentSkip to account menu

Temporal Process Language

Known as: TPL 
In theoretical computer science, TPL (Temporal Process Language) is a process calculus which extends Robin Milner's CCS with the notion of multi… 
Wikipedia (opens in a new tab)

Related topics

Related topics

4 relations
Calculus of communicating systemsMatthew HennessyProcess calculusTheoretical computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Parallel approach for processing itinerary-based RNN queries in object tracking WSNs
Reverse Nearest Neighbor (RNN) query is to find the set of objects that are closer to the Q than any other objects in dataset D… 
2012
2012
Research on Development and Test of Signaloriented Driver
In this paper, the development and test of signal-oriented driver are studied. Firstly, the signal and test model based on STD… 
2002
2002
Structural Knowledge Assessment with the Team Performance Lab's Knowledge Analysis Test Suite (TPL-KATS)
Card sorting and concept mapping are two popular techniques used for assessing structural knowledge. However, manual… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)