Characterizing termination in LOTOS via testing

Authors:
David de Frutos-Escrig;Manuel Núñez;Juan Quemada
Affiliations:
-;-;-
Venue:
Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV
Year:
1995

A Formal Framework for E-Barter Based on Microeconomic Theory and Process Algebras

IICS '02 Proceedings of the Second International Workshop on Innovative Internet Computing Systems
A multi-agent system for e-barter including transaction and shipping costs

Proceedings of the 2003 ACM symposium on Applied computing
Formal methods: Importance, experience, and comparative analysis

Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science,Software Engineering, Information Technology, e-Business, and Applications, 2003

Hi-index	0.03