Verification of Information Flow in Agent-Based Systems Conferences

authors

• Sabri, Khair Eddin
• Khedri, Ridha
• Jaskolka, Jason

status

• published 

publication date

• 2009

published in

• Lecture Notes in Business Information Processing  Journal

presented at event

• 4th International MCETECH Conference on e-Technologies  Conference

keywords

• Agent Knowledge
• Computer Science
• Computer Science, Information Systems
• Computer Science, Software Engineering
• Global calculus
• Hoare Logic
• Information Algebra
• Information Flow
• Information Science & Library Science
• Science & Technology
• Social Issues
• Social Sciences
• Technology

Digital Object Identifier (DOI)

• 10.1007/978-3-642-01187-0_22

International Standard Book Number (ISBN) 13

• 9783642011863

start page

• 252

end page

• 266

volume

• 26