Towards a Colimit-Based Semantics for Visual Programming (English)
- New search for: Gibbons, J.
- New search for: Gibbons, J.
- New search for: Arbab, F.
- New search for: Talcott, C. L.
In:
Coordination 2002; Coordination models and languages
2315
;
166-173
;
2002
-
ISBN:
-
ISSN:
- Conference paper / Print
-
Title:Towards a Colimit-Based Semantics for Visual Programming
-
Contributors:
-
Conference:International conference; 5th, Coordination 2002; Coordination models and languages ; 2002 ; York, England
-
Published in:Coordination 2002; Coordination models and languages , 2315 ; 166-173LECTURE NOTES IN COMPUTER SCIENCE , 2315 ; 166-173
-
Publisher:
- New search for: Springer
-
Place of publication:New York , London
-
Publication date:2002-01-01
-
Size:8 pages
-
Remarks:Includes bibliographical references and index
-
ISBN:
-
ISSN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Playing Games with Software DesignStevens, P. et al. | 2002
- 2
-
Coordination and System Design in a Network-Centric AgeWaldo, J. et al. | 2002
- 4
-
Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its ApplicationsWooldridge, M. / van der Hoek, W. et al. | 2002
- 5
-
Coordination for OrchestrationAndrade, L. F. / Fiadeiro, J. L. / Gouveia, J. / Koutsoukos, G. / Wermelinger, M. et al. | 2002
- 14
-
Concurrent Semantics for the Web Services Specification Language DAML-SAnkolekar, A. / Huch, F. / Sycara, K. et al. | 2002
- 22
-
Coordination through Channel CompositionArbab, F. / Mavaddat, F. et al. | 2002
- 40
-
Exogenous and Endogenous Extensions of Architectural TypesBernardo, M. / Franze, F. et al. | 2002
- 56
-
Coordinating Mobile Object-Oriented CodeBettini, L. / Bono, V. / Venneri, B. et al. | 2002
- 72
-
Formalizing Properties of Mobile Agent SystemsBettini, L. / De Nicola, R. / Loreti, M. et al. | 2002
- 88
-
Dynamically Adapting the Behaviour of Software ComponentsBracciali, A. / Brogi, A. / Canal, C. et al. | 2002
- 96
-
An Associative Broadcast Based Coordination Model for Distributed ProcessesBrowne, J. C. / Kane, K. / Tian, H. et al. | 2002
- 111
-
State- and Event-Based Reactive Programming in Shared DataspacesBusi, N. / Rowstron, A. / Zavattaro, G. et al. | 2002
- 125
-
Integrating Two Organizational Systems through Communication GenresCosta, C. J. / Antunes, P. / Dias, J. F. et al. | 2002
- 133
-
Open CoLaS a Coordination Framework for CoLaS DialectsCruz, J. C. et al. | 2002
- 141
-
Coordination in a Reflective Architecture Description LanguageCuesta, C. E. / de la Fuente, P. / Barrio-Solorzano, M. / Beato, E. et al. | 2002
- 149
-
Coordinating Software Evolution via Two-Tier ProgrammingEden, A. H. / Jahnke, J. et al. | 2002
- 158
-
Criteria for the Analysis of Coordination in Multi-agent ApplicationsFrozza, R. / Alvares, L. O. et al. | 2002
- 166
-
Towards a Colimit-Based Semantics for Visual ProgrammingGibbons, J. et al. | 2002
- 174
-
The Cost of Communication Protocols and Coordination Languages in Embedded SystemsGoossens, K. G. W. / Gangwal, O. P. et al. | 2002
- 191
-
Operational Semantics for Coordination in ParadigmGroenewegen, L. / de Vink, E. et al. | 2002
- 207
-
Service Provision in Ad Hoc NetworksHandorean, R. / Roman, G.-C. et al. | 2002
- 220
-
PN^2: An Elementary Model for Design and Analysis of Multi-agent SystemsHiraishi, K. et al. | 2002
- 236
-
A Recovery Technique Using Multi-agent in Distributed Computing SystemsLee, H.-M. / Chung, K.-S. / Shin, S.-C. / Lee, D.-W. / Lee, W.-G. / Yu, H.-C. et al. | 2002
- 250
-
An Order-Based, Distributed Algorithm for Implementing Multiparty InteractionsPerez, J. A. / Corchuelo, R. / Ruiz, D. / Toro, M. et al. | 2002
- 258
-
Exploiting Transiently Shared Tuple Spaces for Location Transparent Code MobilityPicco, G. P. / Buschini, M. L. et al. | 2002
- 274
-
Formal Specification of JavaSpaces™ Architecture Using muCRLvan de Pol, J. / Espada, M. V. et al. | 2002
- 291
-
Objective vs. Subjective Coordination in Agent-Based Systems: A Case StudyRicci, A. / Omicini, A. / Denti, E. et al. | 2002
- 300
-
Scheduling under Uncertainty: Planning for the Ubiquitous GridSample, N. / Keyani, P. / Wiederhold, G. et al. | 2002
- 317
-
Using Logical Operators as an Extended Coordination Mechanism in LindaSnyder, J. / Menezes, R. et al. | 2002
- 332
-
A Framework for Coordinating Parallel Branch and Bound AlgorithmsStam, A. et al. | 2002
- 340
-
Policies for Cooperative Virtual TeamsTata, S. et al. | 2002
- 348
-
The SPACETUB Models and FrameworkTolksdorf, R. / Rojec-Goldmann, G. et al. | 2002
- 364
-
Tuple-Based Models in the Observation FrameworkViroli, M. / Omicini, A. et al. | 2002
- 380
-
Extending the Matching Facilities of LindaWells, G. / Chalmers, A. / Clayton, P. et al. | 2002
- 389
-
Semantics of Protocol Modules Composition and InteractionWojciechowski, P. T. / Mena, S. / Schiper, A. et al. | 2002