Writing Larch interface language specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
A LOTOS Specification of the PROWAY Highway Service
IEEE Transactions on Computers
Structure of a LOTOS interpreter
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
Remarks on remarks on many-sorted equational logic
ACM SIGPLAN Notices
Specification and implementation of programs for updating incomplete information databases
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Algorithmic specifications: a constructive specification method for abstract data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Specification and implementation of an ISO session layer
IBM Systems Journal
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Extending Ina Jo with Temporal Logic
IEEE Transactions on Software Engineering
An algebraic data type specification language and its rapid prototyping environment
ICSE '89 Proceedings of the 11th international conference on Software engineering
Interfaces for strongly-typed object-oriented programming
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
MICRO 22 Proceedings of the 22nd annual workshop on Microprogramming and microarchitecture
Linearizability: a correctness condition for concurrent objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
An algebraic model for the parallel interpretation of equationally defined functions (abstract)
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Update The Derivation of Conformance Tests From LOTOS Specifications
IEEE Transactions on Software Engineering
Mixing abstract and concrete modules: specification, development and prototyping
ICSE '90 Proceedings of the 12th international conference on Software engineering
Separating concurrent languages with categories of language embeddings
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Towards a semantic view of an extended entity-relationship model
ACM Transactions on Database Systems (TODS)
An OBJ3 functional specification for boundary representation
SMA '91 Proceedings of the first ACM symposium on Solid modeling foundations and CAD/CAM applications
Subtyping in OODB's (extended abstract)
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Formalization of Protocol Engineering Concepts
IEEE Transactions on Computers - Special issue on protocol engineering
Functional and predictive programming in OODB's
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Logic programming with typed unification and its realization on an abstract machine
IBM Journal of Research and Development
A toolbox for the verification of LOTOS programs
ICSE '92 Proceedings of the 14th international conference on Software engineering
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Procedural implementation of algebraic specification
ACM Transactions on Programming Languages and Systems (TOPLAS)
Second-order signature: a tool for specifying data models, query processing, and optimization
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
On the power of algebras with recursion
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Interconnecting formalisms: supporting modularity, reuse and incrementality
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
TROLL: a language for object-oriented specification of information systems
ACM Transactions on Information Systems (TOIS)
Journal of the ACM (JACM)
Formalizing and integrating the dynamic model within OMT
ICSE '97 Proceedings of the 19th international conference on Software engineering
Performance comparison of high-level algebraic nets distributed simulation protocols
WSC '96 Proceedings of the 28th conference on Winter simulation
Service specifications: to B, or not to B
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Automatically Checking an Implementation against Its Formal Specification
IEEE Transactions on Software Engineering
Techniques and language constructs for developing generic informations systems: a case study
SSR '01 Proceedings of the 2001 symposium on Software reusability: putting software reuse in context
Object orientation in hierarchical predicate transition nets
Concurrent object-oriented programming and petri nets
CoOperative objects: principles, use and implementation
Concurrent object-oriented programming and petri nets
Foundations of the Trace Assertion Method of Module Interface Specification
IEEE Transactions on Software Engineering
Abstract computability and algebraic specification
ACM Transactions on Computational Logic (TOCL)
The control layer in open mechanized reasoning systems: annotations and tactics
Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
A general framework to build contextual cover set
Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
Compositional SOS and beyond: a coalgebraic view of open systems
Theoretical Computer Science
A Logical Theory of Interfaces and Objects
IEEE Transactions on Software Engineering
On abstract data types presented by multiequations
Theoretical Computer Science
Observational proofs by rewriting
Theoretical Computer Science
Designing reactive systems: integration of abstraction techniques into a synthesis procedure
Journal of Systems and Software - Special issue on artificial and computational intelligence for decisions, control, and automation in engineering and industrial applications
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
Formal Specifications of User Requirements
Automated Software Engineering
The OCoN Approach to Workflow Modeling in Object-Oriented Systems
Information Systems Frontiers
A global approach to improve conditional hardware reuse in high-level synthesis
Journal of Systems Architecture: the EUROMICRO Journal
A visual environment for visual languages
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
SEDOS: Designing Open Distributed Systems
IEEE Software
An Algebraic Theory of Object-Oriented Systems
IEEE Transactions on Knowledge and Data Engineering
A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective
IEEE Transactions on Knowledge and Data Engineering
Using Term Rewriting to Verify Software
IEEE Transactions on Software Engineering
Modular Verification of Data Abstractions with Shared Realizations
IEEE Transactions on Software Engineering
Formalizing and integrating the dynamic model for object-oriented modeling
IEEE Transactions on Software Engineering
Graphic visualization and animation of LOTOS execution traces
Computer Networks: The International Journal of Computer and Telecommunications Networking - Protocol animation
Unions of non-disjoint theories and combinations of satisfiability procedures
Theoretical Computer Science
Relating CASL with other specification languages: the institution level
Theoretical Computer Science
Heuristics for completion in automatic proofs by structural induction
Nordic Journal of Computing
Automatically verifying an object-oriented specification of the steam-boiler system
Science of Computer Programming - Special issure on formal methods for industrial critical systems (FMICS 2000)
Compiling dyadic first-order specifications into map algebra
Theoretical Computer Science - Algebraic methods in language processing
Knowledge Representation for Natural Language Understanding: The L_LILOG Approach
IEEE Transactions on Knowledge and Data Engineering
Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
What Is `Mathematicalness' in Software Engineering?
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Semantics of Architectural Specifications in CASL
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Abstract Data Types in Computer Algebra
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
On the Compatibility of Model and Model-Class Transformations
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Concurrency and Data Types: A Specification Method: An Example with LOTOS
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Hierarchical Heterogeneous Specifications
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Formalizing UML Class Diagrams: A Hierarchical Predicate Transition Net Approach
COMPSAC '00 24th International Computer Software and Applications Conference
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
Architectural Specifications in CASL
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
A Reuse-Oriented Framework for Hierarchical Specifications
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Behavioural Subtyping Relations for Object-Oriented Formalisms
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
The Extensibility of Maude's Module Algebra
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
GSBL: An Algebraic Specification Language Based on Inheritance
ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
Towards an Object Petri Nets Model for Specifying and Validating Distributed Information Systems
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
Increasing Reusability in Information Systems Development by Applying Generic Methods
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Using a Formal Framework for Agent System Design
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
Building Tools for LOTOS Symbolic Semantics in Maude
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Integrating Semantics for Object-Oriented System Models
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
On Trace Assertion Method of Module Interface Specification with Concurrency
RSCTC '00 Revised Papers from the Second International Conference on Rough Sets and Current Trends in Computing
Reliable Agent Communication - A Pragmatic Perspective
PRIMA '99 Proceedings of the Second Pacific Rim International Workshop on Multi-Agents: Approaches to Intelligent Agents
Modelling of Object Based Systems with Hidden Sorted ECATNets
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
Towards a Proof-Theoretic Foundation for Actor Specification and Verification
Selected papers from the ESPRIT Project ModelAge Final Workshop on Formal Models of Agents
Compositional Modeling of Reactive Systems Using Open Nets
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Heterogeneous Modeling Support for Embedded Systems Design
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Algebraic Imperative Specifications
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Synthesis of Programs in Abstract Data Types
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Towards a Computer-Aided Design of Reactive Systems
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
View Updatability Based on the Models of a Formal Specification
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
From Complex Specifications to a Working Prototype. A Protocol Engineering Case Study
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
An Algebraic Framework for Higher-Order Modules
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Integrating Function Application in State-Based Planning
KI '02 Proceedings of the 25th Annual German Conference on AI: Advances in Artificial Intelligence
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Parameterized Net Classes: A Uniform Approach to Petri Net Classes
Unifying Petri Nets, Advances in Petri Nets
The »Petri Net Baukasten«: An Overview
Unifying Petri Nets, Advances in Petri Nets
Implementation of Parameterized Net Classes with the Petri Net Kernel of the »Petri Net Baukasten«
Unifying Petri Nets, Advances in Petri Nets
A Generalization of Dijkstra's Calculus to Typed Program Specifications
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
The Amsterdam Manifesto on OCL
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Knowledge Representation Model for Dynamic Processes
CCIA '02 Proceedings of the 5th Catalonian Conference on AI: Topics in Artificial Intelligence
Formalising Ontologies and Their Relations
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
Global Development via Local Observational Construction Steps
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
The Situation and State Calculus versus Branching Temporal Logic
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Formal and natural computing
Specification of components based on the webcomposition component model
Data warehousing and web engineering
Journal of Systems and Software
TTL: a modular language for hardware/software systems design
Journal of Computer and System Sciences
An Algorithm for Direct Synthesis of Formal Specifications
RSP '97 Proceedings of the 8th International Workshop on Rapid System Prototyping (RSP '97) Shortening the Path from Specification to Prototype
Formal Techniques for Hardware Allocation
VLSID '97 Proceedings of the Tenth International Conference on VLSI Design: VLSI in Multimedia Applications
Higher-order architectural connectors
ACM Transactions on Software Engineering and Methodology (TOSEM)
The state-based CCS semantics for concurrent Z specification
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Incremental Specification of Telecommunication Services
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Development of an International Standard for High-level Petri Nets
ISESS '97 Proceedings of the 3rd International Software Engineering Standards Symposium (ISESS '97)
A Mathematical Toolbox for the Software Architec
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Behavioral Subtyping Relations for Active Objects
Formal Methods in System Design
Development of communication protocols using algebraic and temporal specifications
Computer Networks: The International Journal of Computer and Telecommunications Networking
An inexact model matching approach and its applications
Journal of Systems and Software
Computer algebra handbook
Proof theory of higher-order equations: conservativity, normal forms and term rewriting
Journal of Computer and System Sciences
Predicting operational behaviour of abstract programs during formal developments
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Specification of business components using temporal OCL
UML and the unified process
Structured theories and institutions
Theoretical Computer Science
Proof-theoretic foundations for the design of actor systems
Mathematical Structures in Computer Science
Abstract and behaviour module specifications
Mathematical Structures in Computer Science
A theory of mixin modules: basic and derived operators
Mathematical Structures in Computer Science
Generalization for component reuse
ACM-SE 42 Proceedings of the 42nd annual Southeast regional conference
Achieving flexibility in unification formalisms
COLING '94 Proceedings of the 15th conference on Computational linguistics - Volume 2
Feature graphs and abstract data types: a unifying approach
COLING '88 Proceedings of the 12th conference on Computational linguistics - Volume 1
Data types in computational phonology
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 1
IEEE Transactions on Software Engineering
Reflective metalogical frameworks
ACM Transactions on Computational Logic (TOCL)
Web services: a process algebra approach
Proceedings of the 2nd international conference on Service oriented computing
Compositional semantics for open Petri nets based on deterministic processes
Mathematical Structures in Computer Science
Amalgamation in the semantics of CASL
Theoretical Computer Science - Automata, languages and programming
A complete axiomatic semantics of spawning
Distributed Computing
A language for configuring multi-level specifications
Theoretical Computer Science - Algebraic methodology and software technology
Formalizing and validating UML architecture description of web systems
ICWE '06 Workshop proceedings of the sixth international conference on Web engineering
A Methodology for Architectural Design of Concurrent and Distributed Software Systems
The Journal of Supercomputing
Roadmap for enhanced languages and methods to aid verification
Proceedings of the 5th international conference on Generative programming and component engineering
Two case studies of semantics execution in Maude: CCS and LOTOS
Formal Methods in System Design
Behaviour and Instantiation of High-Level Petri Net Processes
Fundamenta Informaticae
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Stochastic Graph Transformation Systems
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Applying algebraic approaches for modeling workflows and their transformations in mobile networks
Mobile Information Systems
Attributed graph transformation with node type inheritance
Theoretical Computer Science
Science of Computer Programming
Engineering and theoretical underpinnings of retrenchment
Science of Computer Programming
Fibrations and universal view updatability
Theoretical Computer Science
Observational interpretation of casl specifications
Mathematical Structures in Computer Science
Towards an integrated system model for testing and verification of automation machines
Proceedings of the 2008 international workshop on Models in software engineering
Semantic interoperability via category theory
ER '07 Tutorials, posters, panels and industrial contributions at the 26th international conference on Conceptual modeling - Volume 83
Towards Data Mining Without Information on Knowledge Structure
PKDD 2007 Proceedings of the 11th European conference on Principles and Practice of Knowledge Discovery in Databases
A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS
FM '08 Proceedings of the 15th international symposium on Formal Methods
Observability Concepts in Abstract Data Type Specification, 30 Years Later
Concurrency, Graphs and Models
A Tableaux System for Deontic Action Logic
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Automating Algebraic Specifications of Non-freely Generated Data Types
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Mathematical Support for Ensemble Engineering
Software-Intensive Systems and New Computing Paradigms
Fully abstract models and refinements as tools to compare agents in timed coordination languages
Theoretical Computer Science
Simultaneous checking of completeness and ground confluence for algebraic specifications
ACM Transactions on Computational Logic (TOCL)
Algorithmic Logic + SpecVer = the Methodology for High Integrity Programming − Invited Paper
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Designing ubiquitous applications: proposal of a specification environment
MUCS '09 Proceedings of the 6th international workshop on Managing ubiquitous communications and services
Hornets: Nets within Nets Combined with Net Algebra
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
A systematic review of UML model consistency management
Information and Software Technology
A comparative introduction to CSP and ACT-ONE formal languages
ACM SIGSOFT Software Engineering Notes
Reasoning about Resources and Hierarchical Tasks Using OWL and SWRL
ISWC '09 Proceedings of the 8th International Semantic Web Conference
A Functional Ontology of Observation and Measurement
GeoS '09 Proceedings of the 3rd International Conference on GeoSpatial Semantics
Tagged Systems: A Framework for the Specification of History-dependent Properties
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards Attributed Graphs in Groove
Electronic Notes in Theoretical Computer Science (ENTCS)
Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal framework and necessary properties of the fusion of input modes in user interfaces
Interacting with Computers
A temporal approach to specification and verification of pointer data-structures
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
A (Co)algebraic analysis of synchronization in CSP
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
SSDGP'06 Proceedings of the 2006 international conference on Datatype-generic programming
Order-sorted parameterization and induction
Semantics and algebraic specification
Applications of Algebra and Coalgebra in Scientific Modelling
Electronic Notes in Theoretical Computer Science (ENTCS)
Linking algebraic observational equivalence and bisimulation
DLT'10 Proceedings of the 14th international conference on Developments in language theory
Automated Flaw Detection in Algebraic Specifications
Journal of Automated Reasoning
Delaying constraint solving in symbolic graph transformation
ICGT'10 Proceedings of the 5th international conference on Graph transformations
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
From grammars and automata to algebras and coalgebras
CAI'11 Proceedings of the 4th international conference on Algebraic informatics
Checking the conformance of java classes against algebraic specifications
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Discovering likely method specifications
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Simulating algebraic high-level nets by parallel attributed graph transformation
Formal Methods in Software and Systems Modeling
Graph transformation in molecular biology
Formal Methods in Software and Systems Modeling
Algebraic properties of interfaces
Formal Methods in Software and Systems Modeling
Formal Methods in Software and Systems Modeling
Functorial semantics of rewrite theories
Formal Methods in Software and Systems Modeling
Cofree coalgebras for signature morphisms
Formal Methods in Software and Systems Modeling
High-level nets with nets and rules as tokens
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
ADBIS'06 Proceedings of the 10th East European conference on Advances in Databases and Information Systems
Geospatial semantics: why, of what, and how?
Journal on Data Semantics III
On better understanding OCL collections or an OCL ordered set is not an OCL set
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Model transformation and induced instance migration: a universal framework
SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications
Inductive consequences in the calculus of constructions
ITP'10 Proceedings of the First international conference on Interactive Theorem Proving
Modal logics for reasoning about object-based component composition
IW-FM'00 Proceedings of the 4th Irish conference on Formal Methods
Feature interactions: a mixed semantic model approach
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Checking formal specifications by testing
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
A model for dynamic state-based systems
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Integrating process modelling and soft systems analysis
Methods'96 Proceedings of the 1996 international conference on Methods Integration
Automatic verification of epistemic specifications under convergent equational theories
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
High-Level Petri Net Model Checking with AlPiNA
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Modelling of communication platforms using algebraic high-level nets and their processes
Software Service and Application Engineering
Algorithmic Logic + SpecVer = the Methodology for High Integrity Programming − Invited Paper
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Specification-Driven unit test generation for java generic classes
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Stochastic Graph Transformation Systems
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Behaviour and Instantiation of High-Level Petri Net Processes
Fundamenta Informaticae
EQUATIONAL CONSTRUCTOR INDUCTION
Fundamenta Informaticae
CARTESIAN STREAM TRANSFORMER COMPOSITION
Fundamenta Informaticae
DEFINING OPERATIONAL BEHAVIOR OF OBJECT SPECIFICATIONS BY ATTRIBUTED GRAPH TRANSFORMATIONS
Fundamenta Informaticae
WHY DENOTATIONAL?: Remarks on Applied Denotational Semantics
Fundamenta Informaticae
Parameters And Parametrization In Specification, Using Distributive Categories
Fundamenta Informaticae
Fundamenta Informaticae - Recent Developments in the Theory of Graph Transformation, 2010
A general attribution concept for models in M-adhesive transformation systems
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Complexity results for elementary hornets
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
On the Complexity of the Reachability Problem for Safe, Elementary Hornets
Fundamenta Informaticae - Dedicated to the Memory of Professor Manfred Kudlek
Hi-index | 0.01 |