Abstract
Motivations Highly distributed networks have now become a common platform for large scale distributed programming. Internet applications distinguish themselves from traditional applications on scalability (huge number of users and nodes), connectivity (both availability and bandwidth), heterogeneity (operating systems and application software) and autonomy (of administration domains having strong control of their resources). Hence, new programming paradigms (thin client and application servers, collaborative “peer-to-peer”, code-on-demand, mobile agents) seem more appropriate for applications over internet.
Research supported by TMR Network GETGRATS and by MURST project TOSCa.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
R. Bruni and U. Montanari. Zero-safe nets: Comparing the Collective and Individual Token Approaches. Inform. and Comput., 156:46–89. Academic Press, 2000.
R. Bruni and U. Montanari. Executing Transactions in Zero-Safe Nets. Proc. International Conference on Petri Nets 2000, Aarhus, to appear.
R. Bruni, U. Montanari and V. Sassone. Open Ended Systems, Dynamic Bisimulation and Tile Logic, to appear in Proc IFIP TCS2000, Sendai. Proc IFIP TCS2000, Sendai, this volume.
N. Carriero and D. Gelenter. Coordination Languages and Their Significance. Communications of the ACM, 35(2), 97–107, 1992.
M. Dam. Model Checking Mobile Processes. Information and Computation 129(1), 1996, pp. 35–51.
G. Ferrari, S. Gnesi, U. Montanari, M. Pistore and G. Ristori. Verifying Mobile Processes in the HAL Environment In: Alan J. Hu and Moshe Y. Vardi, Eds., CAV’98, Springer LNCS1427, pp. 511–515.
F. Gadducci and U. Montanari. The Tile Model. In: G. Plotkin, C. Stirling and M. Tofte, Eds., Proofs, Languages and Interaction: Essays in Honour of Robin Milner, MIT Press, to appear.
U. Montanari and M. Pistore. An Introduction to History Dependent Automata. In:Andrew Gordon, Andrew Pitts and Carolyn Talcott, Eds, Second Workshop on Higher-Order Operational Techniques in Semantics (HOOTS II), ENTCS, Vol. 10, 1998.
President’s Information Technology Advisory Committee. Information Technology Research: Investing in Our Future. Report to the President, National Coordination Office for Computing, Information, and Communications, February1999, available from http://www.hpcc.gov/ac/report/
B. Victor and F. Moller. The Mobility Workbench: A Tool for the π-calculus. Proc. CAV’94, Springer LNCS818.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Montanari, U. (2000). Two Problems in Wide Area Network Programming. In: van Leeuwen, J., Watanabe, O., Hagiya, M., Mosses, P.D., Ito, T. (eds) Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics. TCS 2000. Lecture Notes in Computer Science, vol 1872. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44929-9_45
Download citation
DOI: https://doi.org/10.1007/3-540-44929-9_45
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67823-6
Online ISBN: 978-3-540-44929-4
eBook Packages: Springer Book Archive