21 search results - page 1 / 5 » Branching vs. Linear Time: Semantical Perspective |
ATVA
2007
Springer
13 years 11 months ago
2007
Springer
APLAS
2005
ACM
13 years 10 months ago
2005
ACM
act Interpretation Perspective on Linear vs. Branching Time Francesco Ranzato and Francesco Tapparo Dipartimento di Matematica Pura ed Applicata, Universit`a di Padova, Italy It is...
JOLLI
2002
13 years 4 months ago
2002
Temporal logic can be used to describe processes: their behaviour is characterized by a set of temporal models axiomatized by a temporal theory. Two types of models are most often ...
IGPL
2007
13 years 4 months ago
2007
IAT
2009
IEEE
13 years 11 months ago
2009
IEEE
—Commitments based on branching time logic are powerful representations for modeling multi-agent interactions. Current approaches into commitments have conceived these representa...