Marcello M. Bonsangue

Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

Combining Bialgebraic Semantics and Equations.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2014

(Co)Algebraic Characterizations of Signal Flow Graphs.

[BibT_eX]

[DOI]

Henning Basold

Helle Hvid Hansen

Jan Rutten

Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014

2013

Sound and Complete Axiomatizations of Coalgebraic Language Equivalence.

[BibT_eX]

[DOI]

Stefan Milius

ACM Trans. Comput. Log., 2013

Automatic equivalence proofs for non-deterministic coalgebras.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2013

Rational Operational Models.

[BibT_eX]

[DOI]

Stefan Milius

Robert S. R. Myers

Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, 2013

Generalizing determinization from automata to coalgebras

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2013

Coalgebraic Characterizations of Context-Free Languages.

[BibT_eX]

[DOI]

Joost Winter

Log. Methods Comput. Sci., 2013

Coalgebraic Bisimulation-Up-To.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2013: Theory and Practice of Computer Science, 2013

Coinductive Proof Techniques for Language Equivalence.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2013

Unbounded Allocation in Bounded Heaps.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Software Engineering - 5th International Conference, 2013

2012

A model of context-dependent component connectors.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2012

A coalgebraic perspective on linear weighted automata.

[BibT_eX]

[DOI]

Michele Boreale

Inf. Comput., 2012

Final Semantics for Decorated Traces.

[BibT_eX]

[DOI]

Georgiana Caltais

Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012

Interacting via the Heap in the Presence of Recursion

[BibT_eX]

[DOI]

Irina Mariuca Asavoae

Dorel Lucanu

Proceedings of the Proceedings Fifth Interaction and Concurrency Experience, 2012

On the specification of operations on the rational behaviour of systems

[BibT_eX]

[DOI]

Stefan Milius

Proceedings of the Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, 2012

Bounded Model Checking of Recursive Programs with Pointers in K.

[BibT_eX]

[DOI]

Irina Mariuca Asavoae

Dorel Lucanu

Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

Defining Context-Free Power Series Coalgebraically.

[BibT_eX]

[DOI]

Joost Winter

Proceedings of the Coalgebraic Methods in Computer Science - 11th International Workshop, 2012

Automated Verification of Recursive Programs with Pointers.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

Brzozowski's Algorithm (Co)Algebraically.

[BibT_eX]

[DOI]

Proceedings of the Logic and Program Semantics, 2012

2011

Büchi automata for modeling component connectors.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2011

Quantitative Kleene coalgebras.

[BibT_eX]

[DOI]

Inf. Comput., 2011

Context-Free Languages, Coalgebraically.

[BibT_eX]

[DOI]

Joost Winter

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2010

Non-Deterministic Kleene Coalgebras

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2010

A Decision Procedure for Bisimilarity of Generalized Regular Expressions.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods: Foundations and Applications, 2010

Generalizing the powerset construction, coalgebraically.

[BibT_eX]

[DOI]

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010

Decomposition of Constraint Automata.

[BibT_eX]

[DOI]

Bahman Pourvatan

Marjan Sirjani

Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

Monitoring Method Call Sequences Using Annotations.

[BibT_eX]

[DOI]

Behrooz Nobakht

Stijn de Gouw

Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

2009

Preface.

[BibT_eX]

[DOI]

Einar Broch Johnsen

Amy L. Murphy

Jan Vitek

Theor. Comput. Sci., 2009

An Algebra for Kripke Polynomial Coalgebras.

[BibT_eX]

[DOI]

Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009

Automata Based Model Checking for Reo Connectors.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Software Engineering, 2009

A Kleene Theorem for Polynomial Coalgebras.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computational Structures, 2009

Automata for Context-Dependent Connectors.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 11th International Conference, 2009

Deriving Syntax and Axioms for Quantitative Regular Behaviours.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2008

Java Test Driver Generation from Object-Oriented Interaction Traces.

[BibT_eX]

[DOI]

Andreas Grüner

Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, 2008

Modeling Component Connectors: Synchronisation and Context-Dependency.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Recasting Constraint Automata into Büchi Automata.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2008

Coalgebraic Logic and Synthesis of Mealy Machines.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computational Structures, 2008

2007

Integrating Architectural Models - Symbolic, Semantic and Subjective Models in Enterprise Architecture.

[BibT_eX]

[DOI]

Marc M. Lankhorst

Erik Proper

Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2007

Pi-Calculus in Logical Form.

[BibT_eX]

[DOI]

Alexander Kurz

Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007

2006

Preface.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

A Component Coordination Model Based on Mobile Channels.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2006

Presenting Functors by Operations and Equations.

[BibT_eX]

[DOI]

Alexander Kurz

Proceedings of the Foundations of Software Science and Computation Structures, 2006

2005

Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2005

MoCha-pi, an exogenous coordination calculus based on mobile channels.

[BibT_eX]

[DOI]

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Change impact analysis of enterprise architectures.

[BibT_eX]

[DOI]

Luuk Groenewegen

S. Stevens

Proceedings of the 2005 IEEE International Conference on Information Reuse and Integration, 2005

Enterprise Architecture Analysis with XML.

[BibT_eX]

[DOI]

Joost Jacob

Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38 2005), 2005

Duality for Logics of Transition Systems.

[BibT_eX]

[DOI]

Alexander Kurz

Proceedings of the Foundations of Software Science and Computational Structures, 2005

2004

Concepts For Modeling Enterprise Architectures.

[BibT_eX]

[DOI]

Int. J. Cooperative Inf. Syst., 2004

Using XML Transformations for Enterprise Architectures.

[BibT_eX]

Joost Jacob

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes.

[BibT_eX]

[DOI]

Erika Ábrahám

Proceedings of the Theoretical Aspects of Computing, 2004

A Fully Abstract Semantics for UML Components.

[BibT_eX]

[DOI]

Erika Ábrahám

Proceedings of the Formal Methods for Components and Objects, 2004

Observability, Connectivity, and Replay in a Sequential Calculus of Classes.

[BibT_eX]

[DOI]

Erika Ábrahám

Andreas Grüner

Proceedings of the Formal Methods for Components and Objects, 2004

A Logical Viewpoint on Architectures.

[BibT_eX]

[DOI]

Joost Jacob

Proceedings of the 8th International Enterprise Distributed Object Computing Conference (EDOC 2004), 2004

2003

Comparing coordination models and architectures using embeddings.

[BibT_eX]

[DOI]

Gianluigi Zavattaro

Sci. Comput. Program., 2003

Infinite intersection types.

[BibT_eX]

[DOI]

Inf. Comput., 2003

Investigating the mapping of an Enterprise Description Language into UML 2.0.

[BibT_eX]

[DOI]

Martijn J. Wiering

Proceedings of the Workshop on the Compositional Verification of UML Models, 2003

Towards a Language for Coherent Enterprise Architecture Descriptions.

[BibT_eX]

[DOI]

Hans Bosma

Hugo W. L. ter Doest

Luuk Groenewegen

Gert Veldhuijzen van Zanten

Proceedings of the 7th International Enterprise Distributed Object Computing Conference (EDOC 2003), 2003

2002

Mobile Channels, Implementation Within and Outside Components.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Component Interaction 2002, 2002

A Channel-based Coordination Model for Components.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Coordination Languages and Software Architectures, 2002

MoCha: A Middleware Based on Mobile Channels.

[BibT_eX]

[DOI]

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001

Infinite Intersection and Union Types for the Lazy Lambda Calculus.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computer Software, 4th International Symposium, 2001

2000

A transition system semantics for the control-driven coordination language MANIFOLD.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2000

A Coordination Lanuage for Mobile Components.

[BibT_eX]

[DOI]

Proceedings of the Applied Computing 2000, 2000

A Compositional Model for Confluent Dynamic Data-Flow Networks.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2000, 2000

A Logical Interface Description Language for Components.

[BibT_eX]

[DOI]

Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

1999

Toward an Infinitary Logic of Domains: Abramsky Logic for Transition Systems.

[BibT_eX]

[DOI]

Inf. Comput., 1999

Comparing Coordination Models Based on Shared Distributed Replicated Data.

[BibT_eX]

[DOI]

Proceedings of the 1999 ACM Symposium on Applied Computing, 1999

Developing Object-based Distributed Systems.

[BibT_eX]

Kaisa Sere

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999

Comparing Software Architectures for Coordination Languages.

[BibT_eX]

[DOI]

Gianluigi Zavattaro

Proceedings of the Coordination Languages and Models, Third International Conference, 1999

1998

Generalized Metric Spaces: Completion, Topology, and Powerdomains via the Yoneda Embedding.

[BibT_eX]

[DOI]

Franck van Breugel

Theor. Comput. Sci., 1998

Topological Duality in Semantics.

[BibT_eX]

[DOI]

Electronic Notes in Theoretical Computer Science 8, 1998

A software architecture for distributed control systems and its transition system semantics.

[BibT_eX]

[DOI]

Maarten Boasson

Edwin D. de Jong

Proceedings of the 1998 ACM symposium on Applied Computing, 1998

An Approach to Object-Orientation in Action Systems.

[BibT_eX]

[DOI]

Kaisa Sere

Proceedings of the Mathematics of Program Construction, 1998

1997

Infinitary Domain Logic for Finitary Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

Specifying Computations Using Hyper Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1997, 1997

1995

Duality Beyond Sober Spaces: Topological Spaces and Observation Frames.

[BibT_eX]

[DOI]

Bart Jacobs

Theor. Comput. Sci., 1995

Metric Predicate Transformers: Towards a Notion of Refinement for Concurrency.

[BibT_eX]

[DOI]

Erik P. de Vink

Proceedings of the CONCUR '95: Concurrency Theory, 1995

1994

The Weakest Precondition Calculus: Recursion and Duality.

[BibT_eX]

[DOI]

Formal Aspects Comput., 1994

Relating Multifunctions and Predicate Transformers through Closure Operators.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computer Software, 1994

1993

Isomorphisms between Predicates and State Transformers.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

1992

Semantics, Orderings and Recursion in the Weakest Precondition Calculus.

[BibT_eX]

[DOI]