chapter

The tile model

Authors:

Fabio Gadducci,

Ugo MontanariAuthors Info & Claims

Proof, language, and interaction: essays in honour of Robin Milner

July 2000

Pages 133 - 166

Published: 24 July 2000 Publication History

Abstract

No abstract available.

Cited By

View all

Sprunger DKatsumata SBouyer P(2019)Differentiable causal computations via delayed traceProceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science10.5555/3470152.3470168(1-12)Online publication date: 24-Jun-2019
https://dl.acm.org/doi/10.5555/3470152.3470168
Pino LAristizábal ABonchi FValencia F(2015)Weak CCP bisimilarity with strong proceduresScience of Computer Programming10.1016/j.scico.2014.09.007100:C(84-104)Online publication date: 15-Mar-2015
https://dl.acm.org/doi/10.1016/j.scico.2014.09.007
Sobociński P(2015)Relational presheaves, change of base and weak simulationJournal of Computer and System Sciences10.1016/j.jcss.2014.12.00781:5(901-910)Online publication date: 1-Aug-2015
https://dl.acm.org/doi/10.1016/j.jcss.2014.12.007
Show More Cited By

Index Terms

The tile model

Recommendations

The effect of malformed tiles on tile assemblies within the kinetic tile assembly model

Many different constructions of proofreading tile sets have been proposed in the literature to reduce the effect of deviations from ideal behaviour of the dynamics of the molecular tile self-assembly process. In this paper, we consider the effect on the ...
The Need for Seed (in the Abstract Tile Assembly Model)
Abstract
In the abstract Tile Assembly Model (aTAM) square tiles self-assemble, autonomously binding via glues on their edges, to form structures. Algorithmic aTAM systems can be designed in which the patterns of tile attachments are forced to follow the ...
The two-handed tile assembly model is not intrinsically universal
ICALP'13: Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part I

In this paper, we study the intrinsic universality of the well-studied Two-Handed Tile Assembly Model (2HAM), in which two "supertile" assemblies, each consisting of one or more unit-square tiles, can fuse together (self-assemble) whenever their total ...

Comments

Information & Contributors

Information

Published In

Proof, language, and interaction: essays in honour of Robin Milner

July 2000

695 pages

ISBN:0262161885

Editors:
Gordon Plotkin
Univ. of Edinburgh
,
Colin Stirling
Univ. of Edinburgh
,
Mads Tofte
IT Univ. of Copenhagen, Denmark

Publisher

MIT Press

Cambridge, MA, United States

Publication History

Published: 24 July 2000

Qualifiers

Chapter

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

31
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 13 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Sprunger DKatsumata SBouyer P(2019)Differentiable causal computations via delayed traceProceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science10.5555/3470152.3470168(1-12)Online publication date: 24-Jun-2019
https://dl.acm.org/doi/10.5555/3470152.3470168
Pino LAristizábal ABonchi FValencia F(2015)Weak CCP bisimilarity with strong proceduresScience of Computer Programming10.1016/j.scico.2014.09.007100:C(84-104)Online publication date: 15-Mar-2015
https://dl.acm.org/doi/10.1016/j.scico.2014.09.007
Sobociński P(2015)Relational presheaves, change of base and weak simulationJournal of Computer and System Sciences10.1016/j.jcss.2014.12.00781:5(901-910)Online publication date: 1-Aug-2015
https://dl.acm.org/doi/10.1016/j.jcss.2014.12.007
Proença JClarke D(2015)Typed Connector FamiliesRevised Selected Papers of the 12th International Conference on Formal Aspects of Component Software - Volume 953910.1007/978-3-319-28934-2_16(294-311)Online publication date: 14-Oct-2015
https://dl.acm.org/doi/10.1007/978-3-319-28934-2_16
Gadducci FMonreale GMontanari U(2012)A modular LTS for open reactive systemsProceedings of the 7th IFIP TC 1/WG 202 international conference on Theoretical Computer Science10.1007/978-3-642-33475-7_10(134-148)Online publication date: 26-Sep-2012
https://dl.acm.org/doi/10.1007/978-3-642-33475-7_10
Arbab F(2011)Puff, the magic protocolFormal modeling10.5555/2074591.2074604(169-206)Online publication date: 1-Jan-2011
https://dl.acm.org/doi/10.5555/2074591.2074604
Bruni RMelgratti HMontanari U(2011)A connector algebra for P/T nets interactionsProceedings of the 22nd international conference on Concurrency theory10.5555/2040235.2040263(312-326)Online publication date: 6-Sep-2011
https://dl.acm.org/doi/10.5555/2040235.2040263
Bruni RMelgratti HMontanari U(2011)Connector algebras, petri nets, and BIPProceedings of the 8th international conference on Perspectives of System Informatics10.1007/978-3-642-29709-0_2(19-38)Online publication date: 27-Jun-2011
https://dl.acm.org/doi/10.1007/978-3-642-29709-0_2
Sobociński P(2010)Representations of Petri net interactionsProceedings of the 21st international conference on Concurrency theory10.5555/1887654.1887692(554-568)Online publication date: 31-Aug-2010
https://dl.acm.org/doi/10.5555/1887654.1887692
Gorrieri RMartinelli FMatteucci I(2009)Towards Information Flow Properties for Distributed SystemsElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2009.03.015236(65-84)Online publication date: 1-Apr-2009
https://dl.acm.org/doi/10.1016/j.entcs.2009.03.015
Show More Cited By

Abstract

Cited By

Index Terms

Recommendations

The effect of malformed tiles on tile assemblies within the kinetic tile assembly model

The Need for Seed (in the Abstract Tile Assembly Model)

The two-handed tile assembly model is not intrinsically universal

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations