A Calculus for Shapes in Time and Space (Englisch)
- Neue Suche nach: Schafer, A.
- Neue Suche nach: Schafer, A.
- Neue Suche nach: Liu, Zhiming
- Neue Suche nach: Araki, Keijir�o
In:
Theoretical aspects of computing - ICTAC 2004: First International Colloquium, Guiyang, China, September 20-24, 2004
;
463-477
;
2005
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Print
-
Titel:A Calculus for Shapes in Time and Space
-
Beteiligte:
-
Kongress:International colloquium; 1st, Theoretical aspects of computing - ICTAC 2004: First International Colloquium, Guiyang, China, September 20-24, 2004 ; 2004 ; Guiyang, China
-
Erschienen in:LECTURE NOTES IN COMPUTER SCIENCE ; 463-477
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Berlin , [Great Britain]
-
Erscheinungsdatum:01.01.2005
-
Format / Umfang:15 pages
-
Anmerkungen:Selected papers from the 1st International Colloquium, ICTAC 2004, Guiyang, China, September 20-24, 2004. Includes bibliographical references and index.
-
ISBN:
-
ISSN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Software Services: Scientific Challenge or Industrial Hype?Fiadeiro, J. L. et al. | 2005
- 14
-
Integrating Variants of DCHe, J. / Jin, N. et al. | 2005
- 35
-
Challenges in Increasing Tool Support for ProgrammingRustan, K. / Leino, M. et al. | 2005
- 36
-
A Predicate Spatial Logic and Model Checking for Mobile ProcessesLin, H. et al. | 2005
- 37
-
Object Connectivity and Full Abstraction for a Concurrent Calculus of ClassesAbraham, E. / Bonsangue, M. M. / de Boer, F. S. / Steffen, M. et al. | 2005
- 52
-
Specifying Software ConnectorsBarbosa, M. A. / Barbosa, L. S. et al. | 2005
- 68
-
Replicative - Distribution Rules in P Systems with Active MembranesIshdorj, T.-O. / Ionescu, M. et al. | 2005
- 84
-
A Generalisation of a Relational Structures Model of ConcurrencyJanicki, R. et al. | 2005
- 99
-
A Logical Characterization of Efficiency PreordersKorade, N. / Arun-Kumar, S. et al. | 2005
- 113
-
Inherent Causal Orderings of Partial Order ScenariosMitchell, B. et al. | 2005
- 128
-
Atomic ComponentsReeves, S. / Streader, D. et al. | 2005
- 140
-
Towards an Optimization-Based Method for Consolidating Domain Variabilities in Domain-Specific Web Services CompositionZhao, J.-F. / Zhang, L. / Wang, Y.-S. / Jiang, Y. / Xie, B. et al. | 2005
- 154
-
A Formal Framework for Ontology Integration Based on a Default Extension to DDLMa, Y. / Wei, J. / Jin, B. / Liu, S. et al. | 2005
- 170
-
A Predicative Semantic Model for Integrating UML ModelsYang, J. / Long, Q. / Liu, Z. / Li, X. et al. | 2005
- 187
-
An Automatic Mapping from Statecharts to VerilogTran, V.-A. V. / Qin, S. / Chin, W. N. et al. | 2005
- 204
-
Reverse Observation Equivalence Between Labelled State Transition SystemsWen, Y. / Wang, J. / Qi, Z. et al. | 2005
- 220
-
Minimal Spanning Set for Coverage Testing of Interactive SystemsBelli, F. / Budnik, C. J. et al. | 2005
- 235
-
An Approach to Integration Testing Based on Data Flow SpecificationsChen, Y. / Liu, S. / Nagoya, F. et al. | 2005
- 250
-
Combining Algebraic and Model-Based Test Case GenerationDan, L. / Aichernig, B. K. et al. | 2005
- 265
-
Verifying OWL and ORL Ontologies in PVSDong, J. S. / Feng, Y. / Li, Y. F. et al. | 2005
- 280
-
Symbolic and Parametric Model Checking of Discrete-Time Markov ChainsDaws, C. et al. | 2005
- 295
-
Verifying Linear Duration Constraints of Timed AutomataThai, P. H. / Van Hung, D. et al. | 2005
- 310
-
Idempotent Relations in Isabelle/HOLKammuller, F. / Sanders, J. W. et al. | 2005
- 325
-
Program Verification Using Automatic Generation of InvariantsRodriguez-Carbonell, E. / Kapur, D. et al. | 2005
- 341
-
Random Generators for Dependent TypesDybjer, P. / Qiao, H. / Takeyama, M. et al. | 2005
- 356
-
A Proof of Weak Termination Providing the Right Way to TerminateFissore, O. / Gnaedig, I. / Kirchner, H. et al. | 2005
- 372
-
Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a NewbornRanise, S. / Ringeissen, C. / Tran, D.-K. et al. | 2005
- 387
-
Real Time Reactive Programming in Lucid Enriched with ContextsWan, K. / Alagar, V. / Paquet, J. et al. | 2005
- 403
-
Revision Programs with Explicit NegationWang, Y. / Zhang, M. et al. | 2005
- 415
-
An Algebraic Approach for CodesignAiguier, M. / Beroff, S. / Schobbens, P.-Y. et al. | 2005
- 431
-
Duration Calculus: A Real-Time Semantic for BColin, S. / Mariano, G. / Poirriez, V. et al. | 2005
- 447
-
An Algebra of Petri Nets with Arc-Based Time RestrictionsNiaouris, A. et al. | 2005
- 463
-
A Calculus for Shapes in Time and SpaceSchafer, A. et al. | 2005
- 478
-
A Framework for Specification and Validation of Real-Time Systems Using Circus ActionsSherif, A. / He, J. / Cavalcanti, A. / Sampaio, A. et al. | 2005
- 494
-
Switched Probabilistic I/O AutomataCheung, L. / Lynch, N. / Segala, R. / Vaandrager, F. et al. | 2005
- 511
-
Decomposing Controllers into Non-conflicting Distributed ControllersKrishnan, P. et al. | 2005
- 527
-
Reasoning About Co-Buchi Tree AutomataLa Torre, S. / Murano, A. et al. | 2005
- 543
-
Foundations for the Run-Time Monitoring of Reactive SystemsViswanathan, M. / Kim, M. et al. | 2005
- 557
-
A Summary of the Tutorials at ICTAC 2004Liu, Z. et al. | 2005