I: A Symmetric Calculus based on Internal Mobility (Englisch)
- Neue Suche nach: Sangiorgi, D.
- Neue Suche nach: Sangiorgi, D.
- Neue Suche nach: Mosses, P. D.
- Neue Suche nach: Nielsen, M.
- Neue Suche nach: Schwartzbach, M. I.
In:
TAPSOFT '95: theory and practice of software development
915
;
172-186
;
1995
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Print
-
Titel:I: A Symmetric Calculus based on Internal Mobility
-
Beteiligte:
-
Kongress:6th International joint conference, TAPSOFT '95: theory and practice of software development ; 1995 ; Aarhus; Denmark
-
Erschienen in:TAPSOFT '95: theory and practice of software development , 915 ; 172-186LECTURE NOTES IN COMPUTER SCIENCE , 915 ; 172-186
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Berlin , New York
-
Erscheinungsdatum:01.01.1995
-
Format / Umfang:15 pages
-
Anmerkungen:p. cm.; Joint meeting incorporating the Colloquium on trees in algebra and programming (CAAP) and the Colloquim on formal approaches in software engineering (FASE)
-
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.
- 3
-
A Decade of TAPSOFT: Aspects of Progress and Prospects in Theory and Practice of Software DevelopmentEhrig, H. / Mahr, B. et al. | 1995
- 25
-
Theory and Practice of Software Development - Stages in a DebateFloyd, C. et al. | 1995
- 42
-
Rational Spaces and Set ConstraintsKozen, D. et al. | 1995
- 62
-
Formal Methods and Social Context in Software DevelopmentGoguen, J. A. / Luqi et al. | 1995
- 82
-
Testing Can Be Formal, TooGaudel, M.-C. et al. | 1995
- 97
-
Anatomy of the Pentium BugPratt, V. et al. | 1995
- 108
-
Rational Mechanics and Natural MathematicsPratt, V. et al. | 1995
- 125
-
First-Order Logic on Finite TreesPotthoff, A. et al. | 1995
- 140
-
Decidability of Equivalence for Deterministic Synchronized Tree AutomataSalomaa, K. et al. | 1995
- 155
-
The Equivalence Problem for Letter-to-Letter Bottom-up Tree Transducers is SolvableAndre, Y. / Bossut, F. et al. | 1995
- 172
-
I: A Symmetric Calculus based on Internal MobilitySangiorgi, D. et al. | 1995
- 187
-
Complete Inference Systems for Weak Bisimulation Equivalences in the -CalculusLin, H. et al. | 1995
- 202
-
Reasoning about Higher-Order ProcessesAmadio, R. M. / Dam, M. et al. | 1995
- 217
-
Confluence of Processes and Systems of ObjectsLiu, X. / Walker, D. et al. | 1995
- 232
-
An Algebraic Approach to Temporal LogicVon Karger, B. et al. | 1995
- 247
-
On Behavioural Abstraction and Behavioural Satisfaction in Higher-Order LogicHofmann, M. / Sannella, D. et al. | 1995
- 262
-
Assumption/Guarantee Specifications in Linear-Time Temporal LogicJonsson, B. / Tsay, Y.-K. et al. | 1995
- 277
-
Fine Hierarchy of Regular omega-LanguagesSelivanov, V. et al. | 1995
- 288
-
Computing the Wadge Degree, the Lifschitz Degree, and the Rabin Index of a Regular Language of Infinite Words in Polynomial TimeWilke, T. / Yoo, H. et al. | 1995
- 303
-
Semi-Trace Morphisms and Rational TransductionsWacrenier, P.-A. et al. | 1995
- 318
-
Nonfinite Axiomatizability of Shuffle InequalitiesBloom, S. L. / Esik, Z. et al. | 1995
- 334
-
On the Category of Petri Net ComputationsSassone, V. et al. | 1995
- 349
-
High Undecidability of Weak Bisimilarity for Petri NetsJancar, P. et al. | 1995
- 364
-
Polynomial Algorithms for the Synthesis of Bounded NetsBadouel, E. / Bernardinello, L. / Darondeau, P. et al. | 1995
- 379
-
Semi-Completeness of Hierarchical and Super-Hierarchical Combinations of Term Rewriting SystemsKrishna Rao, M. R. K. et al. | 1995
- 394
-
Lazy Narrowing: Strong Completeness and Eager Variable EliminationOkui, S. / Middeldorp, A. / Ida, T. et al. | 1995
- 409
-
On the Expressive Power of Algebraic Graph Grammars with Application ConditionsWagner, A. et al. | 1995
- 424
-
Generated Models and the omega-Rule: The Nondeterministic CaseWalicki, M. / Meldal, S. et al. | 1995
- 439
-
CPO Models for a Class of GSOS LanguagesAceto, L. / Ingolfsdottir, A. et al. | 1995
- 454
-
Statecharts, Transition Structures and TransformationsPeron, A. et al. | 1995
- 471
-
An Imperative Object CalculusAbadi, M. / Cardelli, L. et al. | 1995
- 486
-
A Refinement of Import/Export Declarations in Modular Logic Programming and Its SemanticsKarali, I. / Halatsis, C. et al. | 1995
- 501
-
Strictness and Totality Analysis with ConjunctionSolberg, K. L. et al. | 1995
- 516
-
Generic Techniques for Source-Level Debugging and Dynamic Program SlicingTip, F. et al. | 1995
- 531
-
Reasoning with Executable SpecificationsBertot, Y. / Fraer, R. et al. | 1995
- 546
-
Calculating Software Generators from Solution SpecificationsKieburtz, R. B. / Bellegarde, F. / Bell, J. / Hook, J. et al. | 1995
- 561
-
Comparing Flow-Based Binding-Time AnalysesPalsberg, J. et al. | 1995
- 575
-
Can you Trust your Data?Oerbaek, P. et al. | 1995
- 590
-
Static and Dynamic Processor Allocation for Higher-Order Concurrent LanguagesNielson, H. R. / Nielson, F. et al. | 1995
- 605
-
Mechanized Inductive Proof of Properties of a Simple Code OptimizerGeser, A. et al. | 1995
- 620
-
Describing a Signal Analyzer in the Process Algebra PMC - A Case StudyAndersen, H. R. / Mendler, M. et al. | 1995
- 636
-
A Gentle Introduction to Specification Engineering Using a Case Study in TelecommunicationsKleuker, S. et al. | 1995
- 651
-
Precise Interprocedural Dataflow Analysis with Applications to Constant PropagationSagiv, M. / Reps, T. / Horwitz, S. et al. | 1995
- 666
-
Formal Specification and Prototyping of a Program SpecializerBlazy, S. / Facon, P. et al. | 1995
- 681
-
Proving the Correctness of Recursion-Based Automatic Program TransformationsSands, D. et al. | 1995
- 696
-
Reactive System Specification and RefinementLano, K. et al. | 1995
- 711
-
Measuring Concurrency of Regular Distributed ComputationsBareau, C. / Caillaud, B. / Jard, C. / Thoraval, R. et al. | 1995
- 726
-
Non-Speculative and Upward Invocation of Continuations in a Parallel LanguageMoreau, L. et al. | 1995
- 741
-
A Model Inference System for Generic Specification with Application to Code SharingBert, D. / Oriat, C. et al. | 1995
- 756
-
Relations as Abstract Datatypes: An Institution to Specify Relations Between AlgebrasBaumeister, H. et al. | 1995
- 772
-
Performance-Oriented Formal Specifications - the LotoTis ApproachSchieferdecker, I. et al. | 1995
- 789
-
Signal: A Formal Design Environment for Real-Time Systems| 1995
- 791
-
The META-Frame: An Environment for Flexible Tool ManagementSteffen, B. / Margaria, T. / Classen, A. et al. | 1995
- 793
-
STeP: The Stanford Temporal ProverManna, Z. / Bjoerner, N. / Browne, A. / Chang, E. et al. | 1995
- 795
-
The HOL-UNITY Verification SystemAndersen, F. / Binau, U. / Nyblad, K. / Petersen, K. D. et al. | 1995
- 797
-
PLATO: A Tool to Assist Programming as Term Rewriting and Theorem ProvingSampaio, A. J. / Haeberer, A. M. / Prates, C. T. / Ururahy, C. D. et al. | 1995
- 799
-
LOFT: A Tool for Assisting Selection of Test Data Sets from Algebraic SpecificationsMarre, B. et al. | 1995
- 801
-
The SMoLCS ToolSetAstesiano, E. / Reggio, G. / Morando, F. et al. | 1995
- 803
-
The ASF+SDF Meta-Environment: Documentation Tools for Free!Van den Brand, M. G. J. / Visser, E. et al. | 1995
- 805
-
The B-Toolkit DemonstrationCore, B. et al. | 1995
- 807
-
Object Oriented Semantics Directed Compiler Generation: A PrototypeGuedes, L. C. C. / Haeusler, E. H. / Rangel, J. L. et al. | 1995