Thomas T. Hildebrandt

121 papers A* 1A 10B 19C 7Misc 6Journal 22Unranked 48

Year	Rank	Type	Title / Venue / Authors
2025	C	`conf`	DACEO: Declarative Asynchronous Choreographies with General Data-Dependent Event-Ordering and Objects. COORDINATION Tilman Zuckmantel, Yongluan Zhou, Boris Düdder, Thomas T. Hildebrandt
2025	B	`conf`	Data Integrity-by-Design: Combining Declarative Object-Centric Choreographies and Entity Relationship Models. CoopIS Tilman Zuckmantel, Hugo A. López, Yongluan Zhou, Boris Düdder, Thomas T. Hildebrandt
2025	J	`jnl`	Static and dynamic techniques for iterative test-driven modelling of Dynamic Condition Response Graphs. Data Knowl. Eng. Axel Kjeld Fjelrad Christfort, Vlad Paul Cosma, Søren Debois, Thomas T. Hildebrandt, Tijs Slaats
2024	B	`conf`	Discovery of Object-Centric Declarative Models. ICPM Axel Kjeld Fjelrad Christfort, Andrey Rivkin, Dirk Fahland, Thomas T. Hildebrandt, Tijs Slaats
2024	A*	`conf`	HighGuard: Cross-Chain Business Logic Monitoring of Smart Contracts. ASE Mojtaba Eshghie, Cyrille Artho, Hans Stammler, Wolfgang Ahrendt, Thomas T. Hildebrandt, Gerardo Schneider
2024	A	`conf`	Improving Simplicity by Discovering Nested Groups in Declarative Models. CAiSE Vlad Paul Cosma, Axel Kjeld Fjelrad Christfort, Thomas T. Hildebrandt, Xixi Lu, Hajo A. Reijers, Tijs Slaats
2024	J	`jnl`	Proactive enforcement of provisions and obligations. J. Comput. Secur. David A. Basin, Søren Debois, Thomas T. Hildebrandt
2024	J	`jnl`	Three Decades of Formal Methods in Business Process Compliance: A Systematic Literature Review. CoRR Hugo A. López, Thomas T. Hildebrandt
2023	C	`conf`	Data-Dependent Confidentiality in DCR Graphs. PPDP Eduardo Geraldo, João Costa Seco, Thomas T. Hildebrandt
2023	—	`conf`	Declarative Choreographies with Time and Data. BPM (Forum) Thomas T. Hildebrandt, Hugo A. López, Tijs Slaats
2023	B	`conf`	Transforming Dynamic Condition Response Graphs to Safe Petri Nets. Petri Nets Vlad Paul Cosma, Thomas T. Hildebrandt, Tijs Slaats
2022	—	`conf`	BERMUDA: Participatory Mapping of Domain Activities to Event Data via System Interfaces. ICPM Workshops Vlad Paul Cosma, Thomas T. Hildebrandt, Christopher H. Gyldenkærne, Tijs Slaats
2022	—	`conf`	Event-based data-centric semantics for consistent data management in microservices. DEBS Tilman Zuckmantel, Yongluan Zhou, Boris Düdder, Thomas T. Hildebrandt
2022	J	`jnl`	Selected Papers of BPM 2019 - Editorial to the Special Issue. Inf. Syst. Thomas T. Hildebrandt, Boudewijn F. van Dongen, Maximilian Röglinger, Jan Mendling
2021	J	`jnl`	"We Would Never Write That Down": Classifications of Unemployed and Data Challenges for AI. Proc. ACM Hum. Comput. Interact. Anette C. M. Petersen, Lars Rune Christensen, Richard Harper, Thomas T. Hildebrandt
2021	—	`conf`	'Thinking Problematically' as a Resource for AI Design in Politicised Contexts. CHItaly Anette C. M. Petersen, Marisa Leavitt Cohn, Thomas T. Hildebrandt, Naja L. Holten Møller
2021	J	`jnl`	BERMUDA: Towards Maintainable Traceability of Events for Trustworthy Analysis of Non-process-aware Information Systems. EMISA Forum Vlad Paul Cosma, Thomas T. Hildebrandt, Tijs Slaats
2021	—	`conf`	Decision Modelling in Timed Dynamic Condition Response Graphs with Data. Business Process Management Workshops Thomas T. Hildebrandt, Håkon Normann, Morten Marquard, Søren Debois, Tijs Slaats
2021	J	`jnl`	Exploring how users engage with hybrid process artifacts based on declarative process models: a behavioral analysis based on eye-tracking and think-aloud. Softw. Syst. Model. Amine Abbad Andaloussi, Francesca Zerbato, Andrea Burattin, Tijs Slaats, Thomas T. Hildebrandt, Barbara Weber
2021	C	`conf`	ReGraDa: Reactive Graph Data. COORDINATION Leandro Galrinho, João Costa Seco, Søren Debois, Thomas T. Hildebrandt, Håkon Normann, Tijs Slaats
2021	J	`jnl`	Street-Level Algorithms and AI in Bureaucratic Decision-Making: A Caseworker Perspective. Proc. ACM Hum. Comput. Interact. Asbjørn Ammitzbøll Flügge, Thomas T. Hildebrandt, Naja L. Holten Møller
2021	A	`conf`	Zoom and Enhance: Action Refinement via Subprocesses in Timed Declarative Processes. BPM Håkon Normann, Søren Debois, Tijs Slaats, Thomas T. Hildebrandt
2020	—	`conf`	Algorithmic Decision Making in Public Services: A CSCW-Perspective. GROUP (Companion) Asbjørn William Ammitzbøll Flügge, Thomas T. Hildebrandt, Naja L. Holten Møller
2020	B	`conf`	Business Process Compliance Using Reference Models of Law. FASE Hugo A. López, Søren Debois, Tijs Slaats, Thomas T. Hildebrandt
2020	B	`conf`	Chain of Events: Modular Process Models for the Law. IFM Søren Debois, Hugo A. López, Tijs Slaats, Amine Abbad Andaloussi, Thomas T. Hildebrandt
2020	B	`conf`	EcoKnow: Engineering Effective, Co-created and Compliant Adaptive Case Management Systems for Knowledge Workers. ICSSP Thomas T. Hildebrandt, Amine Abbad Andaloussi, Lars Rune Christensen, Søren Debois, Nicklas Pape Healy, Hugo A. López, Morten Marquard, Naja L. Holten Møller, Anette C. M. Petersen, Tijs Slaats, Barbara Weber
2020	Misc	`conf`	Shifting Concepts of Value: Designing Algorithmic Decision-Support Systems for Public Services. NordiCHI Naja L. Holten Møller, Irina Shklovski, Thomas T. Hildebrandt
2020	J	`jnl`	The Role of Discretion in the Age of Automation. Comput. Support. Cooperative Work. Anette Chelina Møller Petersen, Lars Rune Christensen, Thomas T. Hildebrandt
2019	A	`ed.`	Business Process Management - 17th International Conference, BPM 2019, Vienna, Austria, September 1-6, 2019, Proceedings BPM Thomas T. Hildebrandt, Boudewijn F. van Dongen, Maximilian Röglinger, Jan Mendling
2019	—	`ed.`	Business Process Management Forum - BPM Forum 2019, Vienna, Austria, September 1-6, 2019, Proceedings BPM (Forum) Thomas T. Hildebrandt, Boudewijn F. van Dongen, Maximilian Röglinger, Jan Mendling
2019	A	`conf`	DCR-KiPN a Hybrid Modeling Approach for Knowledge-Intensive Processes. ER Flávia Maria Santoro, Tijs Slaats, Thomas T. Hildebrandt, Fernanda Baião
2019	C	`conf`	Declarative Choreographies and Liveness. FORTE Thomas T. Hildebrandt, Tijs Slaats, Hugo A. López, Søren Debois, Marco Carbone
2019	—	`conf`	Exploring the Understandability of a Hybrid Process Design Artifact Based on DCR Graphs. BPMDS/EMMSAD@CAiSE Amine Abbad Andaloussi, Andrea Burattin, Tijs Slaats, Anette Chelina Møller Petersen, Thomas T. Hildebrandt, Barbara Weber
2019	—	`ed.`	Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference), ISEC 2019, Pune, India, February 14-16, 2019 ISEC Ravindra Naik, Santonu Sarkar, Thomas T. Hildebrandt, Atul Kumar, Richa Sharma
2018	—	`conf`	Evaluating the Understandability of Hybrid Process Model Representations Using Eye Tracking: First Insights. Business Process Management Workshops Amine Abbad Andaloussi, Tijs Slaats, Andrea Burattin, Thomas T. Hildebrandt, Barbara Weber
2018	J	`jnl`	Guest editors' foreword. J. Log. Algebraic Methods Program. Thomas T. Hildebrandt, Marino Miculan
2018	—	`ch.`	Hybrid Process Technologies in the Financial Sector: The Case of BRFkredit. Business Process Management Cases Søren Debois, Thomas T. Hildebrandt, Morten Marquard, Tijs Slaats
2018	—	`conf`	On Purpose and by Necessity: Compliance Under the GDPR. Financial Cryptography David A. Basin, Søren Debois, Thomas T. Hildebrandt
2018	A	`conf`	Open to Change: A Theory for Iterative Test-Driven Modelling. BPM Tijs Slaats, Søren Debois, Thomas T. Hildebrandt
2018	B	`conf`	RESEDA: Declaring Live Event-Driven Computations as REactive SEmi-Structured DAta. EDOC João Costa Seco, Søren Debois, Thomas T. Hildebrandt, Tijs Slaats
2018	J	`jnl`	Replication, refinement & reachability: complexity in dynamic condition-response graphs. Acta Informatica Søren Debois, Thomas T. Hildebrandt, Tijs Slaats
2018	—	`conf`	The Process Highlighter: From Texts to Declarative Processes and Back. BPM (Dissertation/Demos/Industry) Hugo A. López, Søren Debois, Thomas T. Hildebrandt, Morten Marquard
2017	Misc	`conf`	Declarative process mining for DCR graphs. SAC Søren Debois, Thomas T. Hildebrandt, Paw Høvsgaard Laursen, Kenneth Ry Ulrik
2017	—	`conf`	Digitalising the General Data Protection Regulation with Dynamic Condition Response Graphs. BPM (Industry Track) Emil Heuck, Thomas T. Hildebrandt, Rasmus Kiaerulff Lerche, Morten Marquard, Håkon Normann, Rasmus Iven Strømsted, Barbara Weber
2017	—	`conf`	Managing Complexity in Process Digitalisation with Dynamic Condition Response Graphs. BIR Workshops Thomas T. Hildebrandt, Søren Debois, Tijs Slaats, Morten Marquard
2017	—	`conf`	Modelling Cooperative Work at a Medical Department: Full paper. C&T Lars Rune Christensen, Thomas T. Hildebrandt
2017	—	`ed.`	Proceedings of the BPM 2017 Industry Track co-located with the 15th International Conference on Business Process Management (BPM 2017), Barcelona, Spain, September 10-15, 2017. BPM (Industry Track) Marco Brambilla, Thomas T. Hildebrandt
2016	J	`jnl`	Declarative event based models of concurrency and refinement in psi-calculi. J. Log. Algebraic Methods Program. Håkon Normann, Christian Johansen, Thomas T. Hildebrandt
2016	A	`conf`	Deriving Consistent GSM Schemas from DCR Graphs. ICSOC Rik Eshuis, Søren Debois, Tijs Slaats, Thomas T. Hildebrandt
2016	J	`jnl`	Editorial. Formal Aspects Comput. Marco Carbone, Thomas T. Hildebrandt, Joachim Parrow, Matthias Weidlich
2016	—	`conf`	Experience Report: Constraint-Based Modelling and Simulation of Railway Emergency Response Plans. ANT/SEIT Søren Debois, Thomas T. Hildebrandt, Lene Sandberg
2016	—	`conf`	Flexible, adaptable, and compliant business systems with dynamic condition response graphs. ForMABS@ASE Thomas T. Hildebrandt
2016	A	`conf`	In the Nick of Time: Proactive Prevention of Obligation Violations. CSF David A. Basin, Søren Debois, Thomas T. Hildebrandt
2016	—	`conf`	The DCR Graphs Process Portal. BPM (Demos) Søren Debois, Thomas T. Hildebrandt, Morten Marquard, Tijs Slaats
2016	J	`jnl`	Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. Log. Methods Comput. Sci. Søren Debois, Thomas T. Hildebrandt, Tijs Slaats, Nobuko Yoshida
2016	—	`ed.`	Web Services, Formal Methods, and Behavioral Types - 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers WS-FM Thomas T. Hildebrandt, António Ravara, Jan Martijn E. M. van der Werf, Matthias Weidlich
2015	—	`conf`	Bridging the Valley of Death: A Success Story on Danish Funding Schemes Paving a Path from Technology Readiness Level 1 to 9. SER&IP@ICSE Søren Debois, Thomas T. Hildebrandt, Morten Marquard, Tijs Slaats
2015	A	`conf`	Concurrency and Asynchrony in Declarative Workflows. BPM Søren Debois, Thomas T. Hildebrandt, Tijs Slaats
2015	—	`conf`	Hybrid process technologies in the financial sector. BPM (Industry Track) Søren Debois, Thomas T. Hildebrandt, Morten Marquard, Tijs Slaats
2015	B	`conf`	Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes. FM Søren Debois, Thomas T. Hildebrandt, Tijs Slaats
2014	—	`conf`	A Case for Declarative Process Modelling: Agile Development of a Grant Application System. EDOC Workshops Søren Debois, Thomas T. Hildebrandt, Tijs Slaats, Morten Marquard
2014	—	`conf`	Concurrency Models with Causality and Events as Psi-calculi. ICE Håkon Normann, Cristian Prisacariu, Thomas T. Hildebrandt
2014	A	`conf`	Hierarchical Declarative Modelling with Refinement and Sub-processes. BPM Søren Debois, Thomas T. Hildebrandt, Tijs Slaats
2014	—	`conf`	Modeling and Analysis of Mobile Cloud Computing Based on Bigraph Theory. MobileCloud Lian Yu, Wei-Tek Tsai, Xin Wei, Jerry Zeyu Gao, Thomas T. Hildebrandt, Xiao Qun Guo
2014	J	`jnl`	Preface. Theor. Comput. Sci. Gian Luca Cattani, Thomas T. Hildebrandt, Daniele Varacca
2014	C	`conf`	Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. FORTE Søren Debois, Thomas T. Hildebrandt, Tijs Slaats, Nobuko Yoshida
2013	J	`jnl`	A verification environment for bigraphs. Innov. Syst. Softw. Eng. Gian Perrone, Søren Debois, Thomas T. Hildebrandt
2013	J	`jnl`	Big Red: A Development Environment for Bigraphs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Alexander John Faithfull, Gian Perrone, Thomas T. Hildebrandt
2013	J	`jnl`	Contracts for cross-organizational workflows as timed Dynamic Condition Response Graphs. J. Log. Algebraic Methods Program. Thomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats, Francesco Zanitti
2013	—	`conf`	Dynamic Condition Response Graphs for Trustworthy Adaptive Case Management. OTM Workshops Thomas T. Hildebrandt, Morten Marquard, Raghava Rao Mukkamala, Tijs Slaats
2013	—	`conf`	Dynamic Ontologies and Semantic Web Rules as Bigraphical Reactive Systems. WS-FM Wusheng Wang, Thomas T. Hildebrandt
2013	A	`conf`	Exformatics Declarative Case Management Workflows as DCR Graphs. BPM Tijs Slaats, Raghava Rao Mukkamala, Thomas T. Hildebrandt, Morten Marquard
2013	—	`conf`	ICT-powered Health Care Processes - (Position Paper). FHIES Marco Carbone, Anders Skovbo Christensen, Flemming Nielson, Hanne Riis Nielson, Thomas T. Hildebrandt, Martin Sølvkjær
2013	—	`conf`	Modular context-sensitive and aspect-oriented processes with dynamic condition response graphs. FOAL Thomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats, Francesco Zanitti
2013	—	`conf`	Towards Global and Local Types for Adaptation. SEFM Workshops Mario Bravetti, Marco Carbone, Thomas T. Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A. Pérez, Gianluigi Zavattaro
2013	B	`conf`	Towards Trustworthy Adaptive Case Management with Dynamic Condition Response Graphs. EDOC Raghava Rao Mukkamala, Thomas T. Hildebrandt, Tijs Slaats
2012	Misc	`conf`	A model checker for Bigraphs. SAC Gian Perrone, Søren Debois, Thomas T. Hildebrandt
2012	—	`conf`	A process-oriented event-based programming language. DEBS Thomas T. Hildebrandt, Francesco Zanitti
2012	Misc	`conf`	Refinement for Transition Systems with Responses FIT Marco Carbone, Thomas T. Hildebrandt, Gian Perrone, Andrzej Wasowski
2012	—	`conf`	Trustworthy Pervasive Healthcare Services via Multiparty Session Types. FHIES Anders Starcke Henriksen, Lasse Nielsen, Thomas T. Hildebrandt, Nobuko Yoshida, Fritz Henglein
2011	—	`conf`	Bigraphical Refinement Refine@FM Gian Perrone, Søren Debois, Thomas T. Hildebrandt
2011	—	`conf`	Declarative Modelling and Safe Distribution of Healthcare Workflows. FHIES Thomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats
2011	B	`conf`	Designing a Cross-Organizational Case Management System Using Dynamic Condition Response Graphs. EDOC Thomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats
2011	—	`conf`	Nested Dynamic Condition Response Graphs. FSEN Thomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats
2011	B	`conf`	Safe Distribution of Declarative Processes. SEFM Thomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats
2010	—	`conf`	A Logic for Choreographies PLACES Marco Carbone, Davide Grohmann, Thomas T. Hildebrandt, Hugo A. López
2010	Misc	`conf`	A standard-driven implementaion of WS-BPEL 2.0. SAC Tim Hallwyl, Fritz Henglein, Thomas T. Hildebrandt
2010	—	`conf`	Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs PLACES Thomas T. Hildebrandt, Raghava Rao Mukkamala
2010	—	`conf`	Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways. WS-FM David Raymond Christiansen, Marco Carbone, Thomas T. Hildebrandt
2010	Misc	`conf`	From Dynamic Condition Response Structures to Büchi Automata. TASE Raghava Rao Mukkamala, Thomas T. Hildebrandt
2010	J	`jnl`	Preface to special issue: Expressiveness in Concurrency 2008. Math. Struct. Comput. Sci. Thomas T. Hildebrandt, Daniele Gorla
2009	—	`ed.`	Proceedings of the 15th Workshop on Expressiveness in Concurrency, EXPRESS 2008, Toronto, ON, Canada, August 23, 2008 EXPRESS Thomas T. Hildebrandt, Daniele Gorla
2009	B	`conf`	Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming. ICLP Thomas T. Hildebrandt, Hugo A. López
2008	C	`conf`	Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs. COORDINATION Mikkel Bundgaard, Arne J. Glenstrup, Thomas T. Hildebrandt, Espen Højsgaard, Henning Niss
2008	—	`conf`	From Paper Based Clinical Practice Guidelines to Declarative Workflow Management. Business Process Management Workshops Karen Marie Lyng, Thomas T. Hildebrandt, Raghava Rao Mukkamala
2008	B	`conf`	On the Construction of Sorted Reactive Systems. CONCUR Lars Birkedal, Søren Debois, Thomas T. Hildebrandt
2008	—	`conf`	Preface. EXPRESS Thomas T. Hildebrandt, Daniele Gorla
2008	—	`ed.`	Proceedings of the 14th International Workshop on Expressiveness in Concurrency, EXPRESS 2007, Lisbon, Portugal, September 3, 2007 EXPRESS Roberto M. Amadio, Thomas T. Hildebrandt
2008	—	`conf`	The Resultmaker Online Consultant: From Declarative Workflow Management in Practice to LTL. EDOCW Raghava Rao Mukkamala, Thomas T. Hildebrandt, Janus Boris Tøth
2008	—	`conf`	Type Systems for Bigraphs. TGC Ebbe Elsborg, Thomas T. Hildebrandt, Davide Sangiorgi
2007	—	`conf`	Modelling the Security of Smart Cards by Hard and Soft Types for Higher-Order Mobile Embedded Resources. SecCO@CONCUR Mikkel Bundgaard, Thomas T. Hildebrandt, Jens Chr. Godskesen
2007	—	`conf`	Preface. EXPRESS Roberto M. Amadio, Thomas T. Hildebrandt
2006	J	`jnl`	A CPS encoding of name-passing in Higher-order mobile embedded resources. Theor. Comput. Sci. Mikkel Bundgaard, Thomas T. Hildebrandt, Jens Chr. Godskesen
2006	B	`conf`	Bigraphical Models of Context-Aware Systems. FoSSaCS Lars Birkedal, Søren Debois, Ebbe Elsborg, Thomas T. Hildebrandt, Henning Niss
2006	C	`conf`	Formalising Business Process Execution with Bigraphs and Reactive XML. COORDINATION Thomas T. Hildebrandt, Henning Niss, Martin Olsen
2006	B	`conf`	Sortings for Reactive Systems. CONCUR Lars Birkedal, Søren Debois, Thomas T. Hildebrandt
2005	—	`conf`	Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names. GT-VC@CONCUR Mikkel Bundgaard, Thomas T. Hildebrandt
2005	—	`conf`	Distributed Reactive XML. MTCoord@COORDINATION Thomas T. Hildebrandt, Henning Niss, Martin Olsen, Jacob W. Winther
2005	—	`conf`	Extending Howe's Method to Early Bisimulations for Typed Mobile Embedded Resources with Local Names. FSTTCS Jens Chr. Godskesen, Thomas T. Hildebrandt
2004	—	`conf`	A CPS Encoding of Name-Passing in Higher-Order Mobile Embedded Resources. EXPRESS Mikkel Bundgaard, Thomas T. Hildebrandt, Jens Chr. Godskesen
2004	J	`jnl`	A relational model of non-deterministic dataflow. Math. Struct. Comput. Sci. Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel
2004	—	`ed.`	Combined Proceedings of the Second Workshop on Categorical Methods for Concurrency, Interaction, and Mobility, CMCIM 2003, and the Fifth Workshop on Geometric and Topological Methods in Concurrency, GETCO 2003, Satellite Events of CONCUR 2003, Marseille, France, September 6, 2003 CMCIM/GETCO@CONCUR Thomas T. Hildebrandt, Alexander Kurz, Eric Goubault, Ulrich Fahrenberg
2003	—	`conf`	Preface. CMCIM/GETCO@CONCUR Thomas T. Hildebrandt, Alexander Kurz
2003	J	`jnl`	Towards categorical models for fairness: fully abstract presheaf semantics of SCCS with finite delay. Theor. Comput. Sci. Thomas T. Hildebrandt
2002	B	`conf`	A Calculus of Mobile Resources. CONCUR Jens Chr. Godskesen, Thomas T. Hildebrandt, Vladimiro Sassone
2000	—	`conf`	Categorical Models for Fairness: Completion vs Delay. MFCSIT Thomas T. Hildebrandt
1999	—	`conf`	A Fully abstract presheaf semantics for SCCS with finite delay. CTCS Thomas T. Hildebrandt
1999	B	`conf`	On Plain and Hereditary History-Preserving Bisimulation. MFCS Sibylle B. Fröschle, Thomas T. Hildebrandt
1998	B	`conf`	A Relational Model of Non-deterministic Dataflow. CONCUR Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel
1996	B	`conf`	Comparing Transition Systems with Independence and Asynchronous Transition Systems. CONCUR Thomas T. Hildebrandt, Vladimiro Sassone
1996	—	`conf`	Transition systems with independence and multi-arcs. Partial Order Methods in Verification Thomas T. Hildebrandt, Vladimiro Sassone