4370 search results - page 46 / 874 » Algebra of Logic Programming |
121
click to vote
FAC
2010
15 years 29 days ago
2010
: © Algebra and logic for access control Matthew Collinson, David Pym HP Laboratories HPL-2008-75R1 Access control, process algebra, bunched Logic; systems modelling The access co...
IPL
1998
15 years 2 months ago
1998
We propose a combination of Kleene’s three-valued logic and ACP process algebra via the guarded command construct. We present an operational semantics in SOS-style, and a comple...
122
click to vote
DLOG
2010
15 years 13 days ago
2010
Dynamic epistemic logic plays a key role in reasoning about multi-agent systems. Past approaches to dynamic epistemic logic have typically been focused on actions whose primary pur...
320
Voted
POPL
2001
ACM
16 years 2 months ago
2001
ACM
115
click to vote
CSL
2006
Springer
15 years 6 months ago
2006
Springer
The goal of this note is to provide a background and references for the invited lecture presented at Computer Science Logic 2006. We briefly discuss motivations that led to the eme...