3239 search results - page 111 / 648 » A Logical Process Calculus |
108
Voted
LICS
1994
IEEE
15 years 4 months ago
1994
IEEE
The modal mu-calculus is an expressive logic that can be used to specify safety and liveness properties of concurrent systems represented as labeled transition systems (LTSs). We ...
109
Voted
JOT
2010
14 years 11 months ago
2010
A theory, graphical notation, mathematical calculus and implementation for finding whether two given expressions can, at execution time, denote references attached to the same obj...
120
Voted
ENTCS
2002
15 years 15 days ago
2002
By using intersection types and filter models we formulate a theory of types for a -calculus with record subtyping via a finitary programming logic. Types are interpreted as space...
CORR
2008
Springer
15 years 24 days ago
2008
Springer
Abstract. This paper presents Privilege Calculus (PC) as a new approach of knowledge representation for Separation of Duty (SD) in the view of process and intents to improve the re...
123
click to vote
SCP
2000
15 years 14 days ago
2000
An extension of the -calculus called BS is introduced as a formal basis for functional languages expressing bulk synchronous parallel algorithms. A con uence result is shown. The ...