@Article{	  basin.ea:labeled:2008,
  abstract	= {DTL is a distributed temporal logic for reasoning
		  abouttemporal properties of distributed systems from the
		  localpoint of view of the system’s agents, which are
		  assumedto execute sequentially and to interact by means of
		  synchronousevent sharing. We present a sound and
		  completelabeled tableaux system for future-time DTL. To
		  achievethis, we first formalize a labeled tableaux system
		  for reasoninglocally at each agent, which provides a system
		  forfull future-time LTL, and afterwards we combine the
		  localsystems into a global one by adding rules that capture
		  thedistributed nature of DTL.},
  author	= {David Basin and Carlos Caleiro and Jaime Ramos and Luca
		  Vigan{\`o}},
  copyright	= {Copyright © 2008, IEEE, Inc. },
  copyrighturl	= {http://doi.ieeecomputersociety.org/10.1109/TIME.2008.21},
  issn		= {1530-1311},
  journal	= {time},
  language	= {USenglish},
  note		= {Publisher IEEE Computer SocietyAddress Los Alamitos, CA,
		  USA},
  pages		= {101--109},
  pdf		= {papers/2008/time08.pdf},
  title		= {A Labeled Tableaux System for the Distributed Temporal
		  Logic DTL},
  url		= {http://csdl2.computer.org/persagen/DLAbsToc.jsp?resourcePath=/dl/proceedings/&toc=comp/proceedings/time/2008/3181/00/3181toc.xml&DOI=10.1109/TIME.2008.21}
		  ,
  volume	= 0,
  year		= 2008,
  user		= {bgeiser}
}