Filters








153 Hits in 3.2 sec

A Graphical Fusion Calculus

Ivan Lanese, Ugo Montanari
<span title="">2004</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
We analyze the relationship between Fusion Calculus and graph transformations defined in the Synchronized Hyperedge Replacement (SHR) style.  ...  In the paper we introduce the interleaving semantics for SHR with Milner synchronization and show that there is a complete correspondence between the operational semantics of Fusion Calculus and of SHR  ...  Synchronized Hyperedge Replacement Synchronized Hyperedge Replacement [2, 1, 3] is an approach to (hyper)graph transformations that allows the definition of global transformations using local productions  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2004.08.026">doi:10.1016/j.entcs.2004.08.026</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6g232mvjszfonigj3troagogdu">fatcat:6g232mvjszfonigj3troagogdu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190412140128/https://core.ac.uk/download/pdf/82357523.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/97/ba/97ba366f96dbab10cfb4347770dbaf41a7127262.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2004.08.026"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Web Services and Models of Computation

Ugo Montanari
<span title="">2004</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
Acknowledgments The work outlined here is carried on in collaboration with Stefano Bistarelli, Michele Boreale, Roberto Bruni, Marzia Buscemi, Rocco De Nicola, Gianluigi Ferrari, Dan Hirsch, Paola Inverardi  ...  Mobility within multiple synchronization yields name fusion problems solved via unification.  ...  A convenient representation of scenarios where several processes should synchronize on various channels at the same time can be obtained using Synchronized Hyperedge Replacement [13, 14, 10] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2004.05.009">doi:10.1016/j.entcs.2004.05.009</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wbg45sjfv5gihbmp3ptkflzjxy">fatcat:wbg45sjfv5gihbmp3ptkflzjxy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829185922/http://www.it.uu.se/profundis/Year3/wp2/Mont@FMWS.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/73/26/73260564cd3c492591dcb5b7114831d8e6eaf901.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2004.05.009"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Tarzan: Communicating and Moving in Wireless Jungles

Emilio Tuosto
<span title="">2005</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
Wireless networks allow portable/mobile devices (and the related applications) to communicate each other with radio or infrared signals.  ...  Mobility has been recently considered in [9, 10, 6, 16] where synchronised hyperedge replacement (SHR) has been investigated.  ...  The main feature of the SHR approach is that an hyperedge can be replaced when the conditions it imposes on its external nodes are in accordance with the conditions imposed by adjacent hyperedges and with  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2004.01.022">doi:10.1016/j.entcs.2004.01.022</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wv7ue3pzszegrlqgvx3hkjlllq">fatcat:wv7ue3pzszegrlqgvx3hkjlllq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810091003/http://www.cs.le.ac.uk/people/etuosto/LAVORI/tarzan.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/35/fa/35fa3f5b50a21e809d8d133c71d01bd054a049eb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2004.01.022"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Synchronized Hyperedge Replacement for Heterogeneous Systems [chapter]

Ivan Lanese, Emilio Tuosto
<span title="">2005</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We present a framework for modelling heterogeneous distributed systems using graph transformations in the Synchronized Hyperedge Replacement approach, which describes complex evolutions by synchronizing  ...  The main technical point is the interaction between synchronization algebras and name mobility in the π-calculus style. The power of our approach is shown through a few examples.  ...  Synchronization Algebras with Mobility In this section we introduce synchronization algebras with mobility (SAM, for short), an extension of synchronization algebras [17] able to deal with name mobility  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11417019_15">doi:10.1007/11417019_15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/blk4kssxl5advcpui3nyva74be">fatcat:blk4kssxl5advcpui3nyva74be</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808162709/http://www.cs.unibo.it/lanese/work/coordination2005.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d0/b2/d0b218da4610d46f6b8ced5a2c916891d18cc849.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11417019_15"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Synchronization Algebras with Mobility for Graph Transformations

Ivan Lanese, Ugo Montanari
<span title="">2005</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
We propose a generalization of synchronization algebras that allows to deal with mobility and local resource handling.  ...  We propose a graph transformation formalism in the Synchronized Hyperedge Replacement approach which is parametric w.r.t. the synchronization algebra and thus allows to model complex systems based on the  ...  Synchronized Hyperedge Replacement We introduce here Synchronized Hyperedge Replacement (SHR) [2, 7, 4] , a graph transformation formalism where transitions are specified by synchronizing context-free  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2005.05.004">doi:10.1016/j.entcs.2005.05.004</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/c2c4ehnwkzfillkf5i4zpl2phi">fatcat:c2c4ehnwkzfillkf5i4zpl2phi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190305093705/https://core.ac.uk/download/pdf/82434444.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2a/6a/2a6a47bb38b7c0a57287503232acf271732dbc98.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2005.05.004"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With Mobility

Ivan Lanese, Ugo Montanari
<span title="">2006</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
., CCS style) synchronizations for defining graph transformations in a framework where edges can perform actions on adjacent nodes to synchronize their evolutions.  ...  We show that the expressive powers of the two synchronization models are different, but no one is greater than the other.  ...  Synchronized Hyperedge Replacement In this section we present Synchronized Hyperedge Replacement (SHR) [2] and, in particular, the Hoare and the Milner synchronization models, but first we introduce  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2005.03.032">doi:10.1016/j.entcs.2005.03.032</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tp3eg6zdprgi5i3uoeeunomdei">fatcat:tp3eg6zdprgi5i3uoeeunomdei</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190413145025/https://core.ac.uk/download/pdf/82012224.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ae/c9/aec939e0df230a0bca6854849401c48a7b52b0ca.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2005.03.032"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming [article]

Ivan Lanese, Ugo Montanari
<span title="2006-01-15">2006</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
In particular we analyze the relationships between a process calculus, the Fusion Calculus, graph transformations in the Synchronized Hyperedge Replacement with Hoare synchronization (HSHR) approach and  ...  The resulting mapping from Fusion Calculus to logic programming is interesting since it shows the tight analogies between the two formalisms, in particular for handling name generation and mobility.  ...  Synchronized hyperedge replacement with name mobility. In Proc. of CONCUR'01. LNCS, vol. 2154. Springer, 121-136. Jensen, O. H. and Milner, R. 2003. Bigraphs and transitions. SIGPLAN Not.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0504050v2">arXiv:cs/0504050v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dvur3qrpyjbn3cyvs56ehkuxvi">fatcat:dvur3qrpyjbn3cyvs56ehkuxvi</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-cs0504050/cs0504050.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> File Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/12/95/1295e907a53749ad563e85b397c8f3b3993df567.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0504050v2" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Graph Algebras for Bigraphs

Davide Grohmann, Marino Miculan
<span title="2010-07-21">2010</span> <i title="European Association of Software Science and Technology"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ds6dyxrqzrddpmxtwf2p5ljfn4" style="color: black;">Electronic Communications of the EASST</a> </i> &nbsp;
Moreover, we give a formal connection between these languages and Synchronized Hyperedge Replacement algebras and the hierarchical graphs used in Architectural Design Rewriting.  ...  Binding bigraphs are a graphical formalism intended to be a meta-model for mobile, concurrent and communicating systems.  ...  Finally, it turns out that these languages are strictly connected with two well-know formalisms: Synchronized Hyperedge Replacement hypergraphs, which can be represented as a sublanguage of the algebra  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14279/tuj.eceasst.29.414">doi:10.14279/tuj.eceasst.29.414</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/journals/eceasst/GrohmannM10.html">dblp:journals/eceasst/GrohmannM10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tzyctdq5tfemfop5dyoi264vpa">fatcat:tzyctdq5tfemfop5dyoi264vpa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706033532/https://journal.ub.tu-berlin.de/eceasst/article/download/414/383/" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f6/e4/f6e48dddf0f3903b049df71836b5471dac21515c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14279/tuj.eceasst.29.414"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Mapping Fusion and Synchronized Hyperedge Replacement into logic programming

IVAN LANESE, UGO MONTANARI
<span title="">2007</span> <i title="Cambridge University Press (CUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/yhwvj6mbzza5tfz766tokherka" style="color: black;">Theory and Practice of Logic Programming</a> </i> &nbsp;
The resulting mapping from Fusion Calculus to logic programming is interesting since it shows the tight analogies between the two formalisms, in particular for handling name generation and mobility.  ...  In particular we analyze the relationships between a process calculus, theFusion Calculus, graph transformations in theSynchronized Hyperedge Replacementwith Hoare synchronization (HSHR) approach andlogic  ...  As far as the dynamic aspect is concerned, we use Synchronized Hyperedge Replacement with Hoare synchronization (HSHR) (Degano and Montanari 1987) .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s147106840600281x">doi:10.1017/s147106840600281x</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6tbo5rkdrnabrptmoqnvknbfda">fatcat:6tbo5rkdrnabrptmoqnvknbfda</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070221165746/http://www.it.uu.se:80/profundis/Year2/Deliv2/A.1.2.13.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/0f/52/0f52f216e347a0319f19b2192f5c9467f6419558.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s147106840600281x"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> cambridge.org </button> </a>

Primitives for Contract-based Synchronization

Massimo Bartoletti, Roberto Zunino
<span title="2010-10-26">2010</span> <i title="Open Publishing Association"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qzezkwolyvf33pglm2jldjklca" style="color: black;">Electronic Proceedings in Theoretical Computer Science</a> </i> &nbsp;
To do that, we study a variant of the concurrent constraints calculus presented in [1], featuring primitives for multi-party synchronization via contracts. We proceed in two directions.  ...  Our synchronization mechanism, based on the local minimal fusion policy and PCL contracts, seems to share some similarities with the synchronization algebras with mobility [18] .  ...  Rule FUSE replaces a set of variables x y with a bound name n, hence fusing all the variables together.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.38.8">doi:10.4204/eptcs.38.8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/oesmcaufrncgjfyndci44frlxi">fatcat:oesmcaufrncgjfyndci44frlxi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706035527/http://people.unica.it/bart/files/2010/05/ice10.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/fb/eb/fbebab2e3c9b3ac46655487e808cb7e5bd51cde4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.38.8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

AGILE: Software Architecture for Mobility [chapter]

L. Andrade, P. Baldan, H. Baumeister, R. Bruni, A. Corradini, R. De Nicola, J. L. Fiadeiro, F. Gadducci, S. Gnesi, P. Hoffman, N. Koch, P. Kosiuczenko (+13 others)
<span title="">2003</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Architecture-based approaches have been promoted as a means of controlling the complexity of system construction and evolution, in particular for providing systems with the agility required to operate  ...  Recent technological advances in communication and distribution have made mobility an additional factor of complexity, one for which current architectural concepts and techniques can be hardly used.  ...  In case stronger synchronisation is necessary, we use a specialisation of the tile model: Synchronised Typed Hyperedge Replacement Systems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-40020-2_1">doi:10.1007/978-3-540-40020-2_1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jr5fv3qymffafdvhmab3ss4dmi">fatcat:jr5fv3qymffafdvhmab3ss4dmi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705070008/http://fmt.isti.cnr.it/~mazzanti/publications/AgileWADT2002.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c0/ab/c0abf2bdda405425a23bce2992ce8a70ec6f6b9e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-40020-2_1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Graph-Based Models of Internetworking Systems [chapter]

Gianluigi Ferrari, Ugo Montanari, Emilio Tuosto
<span title="">2003</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
This paper outlines a declarative approach based on (hyper-)graphs and graph synchronization to deal with the modeling of Wide Area Network applications.  ...  Synchronized edge replacement is obtained using graph rewriting combined with constraint solving.  ...  Thus event edges have two productions; the first synchronizes with objects sending to them the event name.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-40007-3_16">doi:10.1007/978-3-540-40007-3_16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/b6qzzvavc5fvhhe2gr3u4zjowi">fatcat:b6qzzvavc5fvhhe2gr3u4zjowi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810092341/http://www.cs.le.ac.uk/people/etuosto/LAVORI/graphs_models_systems.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2a/45/2a45b2d45bbc2bd3fad0209084839f5c5ea53167.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-40007-3_16"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Exploiting User-definable Synchronizations in Graph Transformation

Ivan Lanese
<span title="">2008</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
Parametric Synchronized Hyperedge Replacement (PSHR) is a graph transformation formalism where productions specifying the behavior of single components can be synchronized to give full transitions.  ...  The main feature of PSHR is that the synchronization model is user-definable.  ...  Our approach can be also straightforwardly extended to deal with nondeterministic synchronizations and the use of many SAMs inside the same graph as presented in [12] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2008.04.027">doi:10.1016/j.entcs.2008.04.027</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nmtcb4wy6jen3jornhfraiw6kq">fatcat:nmtcb4wy6jen3jornhfraiw6kq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170925155359/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/2bd/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMTU3MTA2NjEwODAwMjQyOQ%3D%3D.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/32/f4/32f458b5d08f94c614cf56bb6ce97af73870552a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2008.04.027"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Putting contacts into context

Theus Hossmann, Thrasyvoulos Spyropoulos, Franck Legendre
<span title="">2011</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/c4l4x7lntbdcrigp6kd7u2itqq" style="color: black;">Proceedings of the Twelfth ACM International Symposium on Mobile Ad Hoc Networking and Computing - MobiHoc &#39;11</a> </i> &nbsp;
Based on these insights, we propose a Hypergraph to model time-synchronized meetings of nodes from different communities as a social overlay.  ...  In a first step, we analyze the bridging behavior in mobility traces and show how it differs to that of mobility models.  ...  Acknowledgments We thank Cristian Tuduce for providing us with the ETH access point trace.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2107502.2107526">doi:10.1145/2107502.2107526</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/mobihoc/HossmannSL11.html">dblp:conf/mobihoc/HossmannSL11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lwwoldm2ineppgnluelbz7yrri">fatcat:lwwoldm2ineppgnluelbz7yrri</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20151026162907/http://www.tik.ee.ethz.ch/file/c6788327e2b209358c509196b18f2ab4/MobiHoc11.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f4/41/f4416d665a8372ab54e017cd87ce2452e6ad8f55.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2107502.2107526"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

SHReQ: coordinating application level QoS

D. Hirsch, E. Tuosto
<span title="">2005</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4gnym4oll5fczbcpsn2kvn53em" style="color: black;">Third IEEE International Conference on Software Engineering and Formal Methods (SEFM&#39;05)</a> </i> &nbsp;
SHReQ combines Synchronised Hyperedge Replacement (SHR) with constraint-semirings. SHR is a (hyper)graph rewriting mechanism for modelling mobility and reconfiguration of systems.  ...  In [12] SHR with mobility of nodes has been generalised by parameterising the rewriting mechanism with respect to a synchronisation algebra with mobility.  ...  SHR with mobility follows a self-organising approach given by the combination of hyperedge rewriting systems for local component specification and constraint solving for coordination.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/sefm.2005.40">doi:10.1109/sefm.2005.40</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sefm/HirschT05.html">dblp:conf/sefm/HirschT05</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jwymezfw5fhorg26cvvsvpu6q4">fatcat:jwymezfw5fhorg26cvvsvpu6q4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170813022101/http://www.cs.le.ac.uk/people/etuosto/LAVORI/shreqsefm05.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8c/b8/8cb8b57973eb656f4d10eb22824e89aa9d7e399b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/sefm.2005.40"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 153 results