113 citations · 317 across the 70 of their papers we have counts for
3 papers · 2 filters
Controlling the Depth, Size, and Number of Subtrees for Two-variable Logic on Trees
Saguy Benaim, Michael Benedikt, Rastislav Lenhardt +1
Verification of properties of first order logic with two variables FO2 has been investigated in a number of contexts. Over arbitrary structures it is known to be decidable with NEX…
A Static Analysis Framework for Livelock Freedom in CSP
Joel Ouaknine, Hristina Palikareva, A. W. Roscoe +1
In a process algebra with hiding and recursion it is possible to create processes which compute internally without ever communicating with their environment. Such processes are sai…
Two Variable vs. Linear Temporal Logic in Model Checking and Games
Michael Benedikt, Rastislav Lenhardt, James Worrell
Model checking linear-time properties expressed in first-order logic has non-elementary complexity, and thus various restricted logical languages are employed. In this paper we con…