Tatjana KAPUS


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(1.3MB)

Checking Connectivity in Mobile System Ambients with the Temporal Logic of Actions
Tatjana KAPUS 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2006/11/01
Vol. E89-A  No. 11  pp. 3333-3340
Type of Manuscript:  PAPER
Category: Concurrent Systems
Keyword: 
mobilitylocalityconnectivitypossibility propertytemporal logic of actions
 Summary | Full Text:PDF(177.7KB)