OPAC

検索結果一覧に戻る

Coordination Models and Languages : 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings / edited by Paolo Ciancarini, Herbert Wiklicky
(Programming and Software Engineering. ISSN:29459168 ; 4038)

データ種別	電子ブック
版	1st ed. 2006.
出版者	(Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer)
出版年	2006
大きさ	VIII, 299 p : online resource
著者標目	Ciancarini, Paolo editor Wiklicky, Herbert editor SpringerLink (Online service)

所蔵情報を非表示

URL	巻　次	配架場所	請求記号	登録番号	コメント	刷　年	状　態	利用注記	ISBN	予約	請求メモ
URL		射水-電子	007	EB0003888	Computer Scinece R0 2005-6,2022-3				9783540346951

書誌詳細を非表示

一般注記	Stochastic Reasoning About Channel-Based Component Connectors -- Atomic Commit and Negotiation in Service Oriented Computing -- Synthesizing Concurrency Control Components from Process Algebraic Specifications -- Automated Evaluation of Coordination Approaches -- Choreography and Orchestration Conformance for System Design -- Workflow Patterns in Orc -- Evolution On-the-Fly with Paradigm -- Formalising Business Process Execution with Bigraphs and Reactive XML -- Enabling Ubiquitous Coordination Using Application Sessions -- A WSDL-Based Type System for WS-BPEL -- Managing Ad-Hoc Networks Through the Formal Specification of Service Requirements -- A Logical View of Choreography -- Using Lime to Support Replication for Availability in Mobile Ad Hoc Networks -- Coordinating Computation with Communication -- Distributed Workflow upon Linkable Coordination Artifacts -- Actors, Roles and Coordinators — A Coordination Model for Open Distributed and Embedded Systems -- Tuple Space Coordination Across Space and Time -- Compositional Semantics of an Actor-Based Language Using Constraint Automata HTTP:URL=https://doi.org/10.1007/11767954
件　名	LCSH:Computer systems LCSH:Compilers (Computer programs) LCSH:Software engineering LCSH:Computers, Special purpose LCSH:Computer programming LCSH:Computer science FREE:Computer System Implementation FREE:Compilers and Interpreters FREE:Software Engineering FREE:Special Purpose and Application-Based Systems FREE:Programming Techniques FREE:Theory of Computation
分　類	LCC:QA76.9.S88 DC23:004.2
書誌ID	EB00003276
ISBN	9783540346951