Keyword : spatio-temporal logic


Using Mobile TLA as a Logic for Dynamic I/O Automata
Tatjana KAPUS 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2009/08/01
Vol. E92-D  No. 8 ; pp. 1515-1522
Type of Manuscript:  PAPER
Category: Fundamentals of Software and Theory of Programs
Keyword: 
dynamic input/output automatamobile agent systemformal specificationspatio-temporal logic
 Summary | Full Text:PDF