Asynchronous Systems Labs (ASL) Seminars - School of Electrical and Electronic Engineering

Asynchronous Systems Labs (ASLs)

The aim of this seminar series is to provide a forum for research staff and students to present and discuss work on a wide range of topics related to the theory and applications of concurrent and distributed systems. The meetings are organised jointly by the School of Computing Science (Maciej Koutny) and the School of Electrical and Electronic Engineering (Alex Yakovlev).

We are currently in the process of moving the ASL seminars to a new database display system. There will be two archives of past events until this is complete.

There are currently no seminars to display. Please see below for a history of past seminars.

This is a record of past ASLs (new system).

Showing 1 to 25 of 197.
Pages: 1 2 3 4 5 6 7 8 Next

Date	Title
16th May 2013	Design of Future Integrated Systems: A Cyber-physical Systems Approach [ Abstract ] In this talk, we address some fundamental issues related to the modeling and optimization of power and performance of next generation of integrated systems while taking a cyber-physical approach. As such, the focus of the design methodology is not only on establishing an efficient communication between the computational elements, but also on including time, communication, and feedback-based control as intrinsic components of the programming model; this goal allows us generalize the classical computational paradigm such that more direct interaction between the cyber-system and physical world becomes possible.
26th April 2013	Synchronization Issues in 3-D ICs [ Abstract ] Low power, robustness, and low timing uncertainty are standard design requirements for clock distribution networks. A variety of techniques and design tools to achieve these objectives for conventional planar circuits has been developed the past few decades. Alternatively, the multi-tier structure of 3-D ICs complicates the design process of 3-D clock networks, since the existing methods do not readily adapt to the specific traits of these circuits. To better understand the nature of these circuits, this talk begins with an introduction of 3-D integration and the implications that manufacturing approaches can have on the performance of the designed circuits.
25th April 2013	On Fault Tolerance in GALS Circuits [ Abstract ] In this talk we present a new approach to adapt triple modular redundancy (TMR), a well-known fault tolerance mechanism, for the globally asynchronous locally synchronous (GALS) design style.
15th February 2013	Analysis and Construction of Contextual Net Unfoldings [ Abstract ] A contextual net (c-net) is a Petri net extended with read arcs. In this talk, we present one concrete method for computing c-net unfoldings, with a view to efficiency.
15th February 2013	An Algebra of Switching Networks [ Abstract ] A switch, whether mechanical or electrical, is a fundamental building element of digital systems. This work presents a unified algebra of switching networks. Its elements are circuits rather than just Boolean functions or vertices and edges. This unified approach allows one to express both the functionality and structure of switching networks in the same mathematical language, thus removing the language barrier.
23rd October 2012	On Persistent Reachability in Petri Nets [ Abstract ] The notion of persistency, based on the rule "no action can disable another one" is one of the classical notions in concurrency theory. I will talk about arbitrary place/transition nets, but concentrate on their persistent computations. It leads to an interesting decision problem: Is a given marking reachable with a persistent run? In order to study the persistent-reachability problem I will define a class of nets, called nonviolence nets. I will show that inhibitor nets can be simulated by the nonviolence nets (and vice versa), thus the latter are computationally Turing powerful and reachability and coverability problems are undecidable in the class of the nonviolence nets.
16th May 2012	Asynchronous Arbitration [ Abstract ]
3rd May 2012	Energy efficiency and the design of brains [ Abstract ]
20th March 2012	Modular optimal planning using weighted automata calculus [ Abstract ] Modular (or factored) planning is a relatively new domain in planning. It consists in exploiting the possible decomposition of many planning problems into exponentially smaller subproblems in order to efficiently solve them by parts. Even if, in the worst case, the complexity of factored planning is the same than the complexity of classical planning, in many cases of interest it is much more efficient.
29th February 2012	Modelling Challenges for Cyber-Physical Systems [ Abstract ]
13th December 2011	The Aethereal network on chip: concepts and lessons learned [ Abstract ] Speaker: Kees Goossens, Faculty of Electrical Engineering; Eindhoven University of Technology
12th August 2011	Spatial processing of the SPICE circuit simulator using reconfigurable architectures [ Abstract ]
9th August 2011	Understanding the State of the Art in Energy-Aware System Design and first results of applying this to the XMOS processor [ Abstract ]
6th May 2011	Energy-Modulated Computing [ Abstract ]
5th May 2011	Biometrics: limitations and future research [ Abstract ]
21st April 2011	Antennas for Medical Applications [ Abstract ]
15th April 2011	Insertion Modeling in Distributed Systems Design [ Abstract ]
15th April 2011	Predictability Verification with Petri Net Unfoldings [ Abstract ]
9th March 2011	Parallelism in asynchronous on-chip routers [ Abstract ]
25th January 2011	Reaction Systems - (3 day course: 25th, 26th and 27th January) [ Abstract ]
24th January 2011	A Formal Framework for Processes Inspired by Biochemistry [ Abstract ]
21st December 2010	Application Specific Routing Algorithms for Networks on Chip [ Abstract ]
19th November 2010	Circuit development with Workcraft [ Abstract ]
24th September 2010	Automated Design Optimization for Low Power Reconfigurable Systems [ Abstract ]
8th September 2010	Controlling biomimetic robots with electronic nervous systems [ Abstract ]

This is a record of past ASLs (old system).

Date	Title	Speaker
12th August, 2011	Spatial processing of the SPICE circuit simulator using reconfigurable architectures [ Abstract ]	Nachiket Kapre [ Homepage ]
9th August, 2011	Understanding the State of the Art in Energy-Aware System Design and first results of applying this to the XMOS processor [ Abstract ]	Kerstin Eder [ Homepage ]
6th May, 2011	Energy-Modulated Computing [ Abstract ]	Alex Yakovlev [ Homepage ]
5th May, 2011	Biometrics: limitations and future research [ Abstract ]	Feng Hao [ Homepage ]
21st April, 2011	Antennas for Medical Applications [ Abstract ]	Kenneth Tong [ Homepage ]
15th April, 2011	Insertion Modeling in Distributed Systems Design [ Abstract ]	Alexander Letichevsky [ Homepage ]
15th April, 2011	Predictability Verification with Petri Net Unfoldings [ Abstract ]	Agnes Madalinski
9th March, 2011	Parallelism in asynchronous on-chip routers [ Abstract ]	Wei Song [ Homepage ]
25th January, 2011	Reaction Systems - (3 day course: 25th, 26th and 27th January) [ Abstract ]	G.Rozenberg [ Homepage ]
21st December, 2010	Application Specific Routing Algorithms for Networks on Chip [ Abstract ]	Maurizio Palesi [ Homepage ]
19th November, 2010	Circuit development with Workcraft [ Abstract ]	Stanislavs Golubcovs
24th September, 2010	Automated Design Optimization for Low Power Reconfigurable Systems [ Abstract ]	Qiang Liu [ Homepage ]
8th September, 2010	Controlling biomimetic robots with electronic nervous systems [ Abstract ]	Joseph Ayers [ Homepage ]
24th August, 2010	Infrastructure Support for Real-Time Network Architecture [ Abstract ]	Hugo Simpson
18th August, 2010	Hebbian Eigenfilter for Neurophysiological Spike Train Analysis [ Abstract ]	Bo YU [ Homepage ]
13th July, 2010	A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes [ Abstract ]	Victor Khomenko [ Homepage ]
2nd July, 2010	Diagnosability Verification with Parallel LTL-X Model Checking Based on Petri Net Unfoldings [ Abstract ]	Agnes Madalinski [ Homepage ]
8th June, 2010	Constructing and exploring a design space [ Abstract ]	Graham Birtwistle [ Homepage ]
24th May, 2010	Towards Hybrid Neural-Silicon Sensorimotor Systems [ Abstract ]	Terrence Mak [ Homepage ]
12th May, 2010	Visualisation in Circuit Design [ Abstract ]	Ian W. Jones, Sun Labs, Oracle
5th March, 2010	Modelling Gradients Using Petri Nets [ Abstract ]	Laura M.F. Bertens [ Homepage ]
26th February, 2010	Statistical Tool Framework for Circuit Variability Simulation [ Abstract ]	Ghaith Tarawneh
5th February, 2010	ASL: the next ten years and beyond [ Abstract ]	Alex and Maciej
11th December, 2009	Specification and synthesis of processors using CPOG-based methodology [ Abstract ]	Maxim Rykunov
3rd December, 2009	Output-Determinacy and Asynchronous Circuit Synthesis [ Abstract ]	Victor Khomenko [ Homepage ]
20th November, 2009	On automated Fault diagnosis in Service oriented Architectures [ Abstract ]	Behzad Bordbar [ Homepage ]
9th November, 2009	Mobile Membranes [ Abstract ]	Gabriel Ciobanu [ Homepage ]
30th October, 2009	Organize the engines in a laissez-faire and natural way [ Abstract ]	Xiangyu Li
13th October, 2009	A Unifying Analytical Framework for Discrete, Linear Time [ Abstract ]	Ben Moszkowski [ Homepage ]
2nd October, 2009	Workcraft - a tool for Interpreted Graph Models [ Abstract ]	Ivan Poliakov [ Homepage ]
4th June, 2009	Structured Occurrence Nets [ Abstract ]	Brian Randell - joint work with Maciej Koutny [ Homepage ]
15th May, 2009	Prospects for Energy Harvesting Devices [ Abstract ]	Bashir M. Al-Hashimi [ Homepage ]
29th April, 2009	Connection-Centric Network for Spiking Neural Networks [ Abstract ]	Robin Emery [ Homepage ]
6th April, 2009	Modular approach to multi-resource arbiter design [ Abstract ]	Stanislavs Golubcovs
20th March, 2009	Towards Efficient Verification of Systems with Dynamic Process Creation [ Abstract ]	Hanna Klaudel
4th February, 2009	Flat Arbiters [ Abstract ]	Andrey Mokhov
12th December, 2008	How to solve hard problems using SAT based techniques [ Abstract ]	Victor Khomenko [ Homepage ]
31st October, 2008	Cyclic combinational circuits [ Abstract ]	Andrey Mokhov
11th September, 2008	Ready Simulation -- It's Logical! [ Abstract ]	Walter Vogler
4th August, 2008	Virtual Thermal Management: An Alternative to Dynamic Voltage and Frequency Scaling [ Abstract ]	Sandip Kundu [ Homepage ]
25th July, 2008	Checking pi-Calculus Structural Congruence is Graph Isomorphism Complete [ Abstract ]	Victor Khomenko
28th April, 2008	Diagnosability verification with Petri net unfoldings [ Abstract ]	Agnes Madalinski
28th March, 2008	Automated verification of asynchronous circuits using circuit Petri nets [ Abstract ]	Ivan Poliakov
27th March, 2008	Conditional Partial Order Graphs and Dynamically Reconfigurable Control Synthesis [ Abstract ]	Andrey Mokhov
25th January, 2008	Logic Decomposition of Asynchronous Circuits Using STG Unfoldings [ Abstract ]	Victor Khomenko [ Homepage ]
14th December, 2007	The theory of gene assembly: contributions to theoretical computer science [ Abstract ]	Grzegorz Rozenberg [ Homepage ]
13th December, 2007	The biology of gene assembly: the quest for discovery of biological hardware (bioware) in vivo [ Abstract ]	Grzegorz Rozenberg [ Homepage ]
4th December, 2007	Communication Centric Computer Design [ Abstract ]	Simon Moore [ Homepage ]
14th November, 2007	A Petri Net semantics for pi-calculus Verification [ Abstract ]	Roland Meyer [ Homepage ]
5th November, 2007	Data driven modeling of multistage interconnection networks by compositional high level Petri nets [ Abstract ]	Elisabeth Pelz [ Homepage ]
26th October, 2007	Asynchronous Links for Networks on Chip - Part 2 [ Abstract ]	Alex Yakovlev [ Homepage ]
19th October, 2007	Asynchronous Links for Networks on Chip - Part 1 [ Abstract ]	Alex Yakovlev [ Homepage ]
14th September, 2007	Grand Challenges in Microelectronic Design [ Abstract ]	Steve Furber [ Homepage ]
29th August, 2007	Modelling agent systems with combination of behavioral and state-based approaches [ Abstract ]	Alexei Iliasov [ Homepage ]
25th May, 2007	Combining Decomposition and Unfolding for STG Synthesis [ Abstract ]	Victor Khomenko [ Homepage ]
11th May, 2007	Conditional Partial Order Graphs and Dynamically Reconfigurable Control Synthesis [ Abstract ]	Andrey Mokhov
27th April, 2007	Distributed complete prefix construction [ Abstract ]	Agnes Madalinski
16th February, 2007	A High Resolution Flash Time-to-Digital Converter Taking Into Account Process Variability [ Abstract ]	Nikolaos Minas
2nd February, 2007	Efficient Automatic Resolution of Encoding Conflicts Using STG Unfoldings [ Abstract ]	Victor Khomenko [ Homepage ]
26th January, 2007	Modelling Intelligent Memory on a Dynamically Re-configurable System [ Abstract ]	Jun Xu [ Homepage ]
1st December, 2006	Transition Systems of Elementary Net Systems with Localities [ Abstract ]	Marta Pietkiewicz-Koutny [ Homepage ]
24th November, 2006	Comparative Analysis of GALS Clocking Schemes [ Abstract ]	Sohini Dasgupta
17th November, 2006	Process Semantics of Membrane Systems [ Abstract ]	Maciej Koutny [ Homepage ]
3rd November, 2006	Verification with Bounded Model Checking [ Abstract ]	Keijo Heljanko [ Homepage ]
18th October, 2006	Symbolic Unfoldings of Coloured Petri Nets [ Abstract ]	Thomas Chatain [ Homepage ]
4th October, 2006	Guarding the Pass Between the Real World and the Digital World [ Abstract ]	David Kinniment [ Homepage ]
7th July, 2006	A Chip Multiprocessor for Large-Scale Neural Simulation [ Abstract ]	Steve Furber [ Homepage ]
14th June, 2006	Lossy Synthesis - a New Paradigm for Hardware Synthesis of DSP Systems [ Abstract ]	Peter Cheung [ Homepage ]
9th June, 2006	Use of Petri-net in modelling and simulation of biological networks [ Abstract ]	Tiak Wan Ng
2nd June, 2006	Modelling and Analysing Genetic Networks: From Boolean Networks to Petri Nets [ Abstract ]	Jason Steggles [ Homepage ]
31st May, 2006	On-chip timing releationship regeneration [ Abstract ]	Crescenzo DAlessandro
19th May, 2006	Completion Detection Optimisation based on Relative Timing [ Abstract ]	Andrey Mokhov
12th May, 2006	Area and performance optimization of partially acknowledged asynchronous circuits [ Abstract ]	Yu Zhou
28th April, 2006	Behaviour-Preserving Transition Insertions in Unfolding Prefixes [ Abstract ]	Victor Khomenko [ Homepage ]
3rd March, 2006	Recent Developments in Pret a Voter [ Abstract ]	Peter Y A Ryan [ Homepage ]
24th February, 2006	Timing Analysis for Latency-Aware Design [ Abstract ]	Crescenzo DAlessandro
17th February, 2006	Enhancing Signature-based Collaborative Spam Detection [ Abstract ]	Jeff Yan [ Homepage ]
3rd February, 2006	Variability-Tolerant Architectures [ Abstract ]	Satya Kiran Munaga
9th December, 2005	An Introduction to Computational Complexity [ Abstract ]	Victor Khomenko [ Homepage ]
2nd December, 2005	Petri net unfoldings [ Abstract ]	Maciej Koutny [ Homepage ]
30th November, 2005	An Overview of Wireless LAN Standards [ Abstract ]	Anthony C Davies
18th November, 2005	Derivation of Set and Reset Covers for gC Elements and Standard C Implementation Using STG Unfoldings [ Abstract ]	Victor Khomenko [ Homepage ]
8th November, 2005	New Methods for STG Decomposition [ Abstract ]	Mark Schaefer [ Homepage ]
4th November, 2005	Trellis Processes : a Tool for Distributed System Monitoring [ Abstract ]	Eric Fabre
31st October, 2005	Complex Electronics [ Abstract ]	Bashir M. Al-Hashimi [ Homepage ]
28th October, 2005	Analysis and Verification of Object Oriented Systems [ Abstract ]	Swapan Bhattacharya
21st October, 2005	Automating the Process of Software Automation : Perspectives, Issues and Concerns [ Abstract ]	Swapan Bhattacharya
14th October, 2005	Modelling asynchronous circuits using Petri Nets [ Abstract ]	Alex Yakovlev [ Homepage ]
19th July, 2005	The Role Method (tutorial) [ Abstract ]	Hugo Simpson
7th July, 2005	Galois Decomposition of Boolean Functions: An Efficient Synthesis Approach with Testability [ Abstract ]	Asutosh Singh [ Homepage ]
3rd May, 2005	Merged Processes - a New Condensed Representation of Petri Net Behaviour [ Abstract ]	Maciej Koutny [ Homepage ]
11th April, 2005	Energy Efficient Surfing [ Abstract ]	Mark Greenstreet [ Homepage ]
22nd March, 2005	The Computer Ate My Vote [ Abstract ]	Peter Ryan [ Homepage ]
15th March, 2005	Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings [ Abstract ]	Agnes Madalinski [ Homepage ]
8th March, 2005	Investigation on the applications of the ACMs [ Abstract ]	Fei Hao
1st March, 2005	Asynchronous system design flow based on Petri nets [ Abstract ]	Danil Sokolov [ Homepage ]
22nd February, 2005	Opacity and Anonymity (subtitle: you can't prove anything) [ Abstract ]	Jeremy Bryans [ Homepage ]
1st December, 2004	Modelling Opacity using Petri Nets [ Abstract ]	Maciej Koutny [ Homepage ]
24th November, 2004	Metastability In Asynchronous Communication Mechanisms (ACMs) [ Abstract ]	Neil Henderson [ Homepage ]
17th November, 2004	An Algebra of Petri Nets with Arc-based Time Restrictions [ Abstract ]	Apostolos Niaouris
10th November, 2004	Design of an Asynchronous Loadable Counter Using Petri Net Based Methods [ Abstract ]	Yu Zhou
3rd November, 2004	Speed-Independent Synthesis of Strongly-Indicating Combinational Logic Circuits [ Abstract ]	Will Toms [ Homepage ]
27th October, 2004	Queues and networks at arrival and departure instants [ Abstract ]	Isi Mitrani [ Homepage ]
20th October, 2004	Computing Shortest Violation Traces in Model Checking Based on Petri Net Unfoldings and SAT [ Abstract ]	Victor Khomenko [ Homepage ]
8th September, 2004	Distributing Synchronous Specifications in GALS Architectures [ Abstract ]	Dumitru Potop-Butucaru [ Homepage ]
20th July, 2004	Using Unification For Opacity Properties [ Abstract ]	Laurent Mazare [ Homepage ]
20th May, 2004	Low Power RAM with Testability Speaker [ Abstract ]	Dhiraj Pradhan [ Homepage ]
12th March, 2004	PG students presentation [ Abstract ]	Apostolos Niaouris and Arash Shahriari-Rad
5th March, 2004	Rapid Introduction to Computational Complexities [ Abstract ]	Victor Khomenko [ Homepage ]
27th February, 2004	Rapid Introduction to Computational Complexities [ Abstract ]	Victor Khomenko [ Homepage ]
20th February, 2004	Pomset Language Equivalence Results [ Abstract ]	Eike Best [ Homepage ]
13th February, 2004	Pomset Language Equivalence Results [ Abstract ]	Eike Best [ Homepage ]
6th February, 2004	Causality Semantics of Petri Nets with Weighted Inhibitor Arcs [ Abstract ]	Maciej Koutny
13th January, 2004	Applying Process Algebra and Model-checking to Security Protocols [ Abstract ]	Peter Ryan [ Homepage ]
10th December, 2003	Unified Approaches to Verification and Design of Digital Circuits [ Abstract ]	Abusaleh M. Jabir [ Homepage ]
5th December, 2003	Applying Process Algebra and Model-checking to Security Protocols [ Abstract ]	Peter Ryan [ Homepage ]
24th November, 2003	Computability and Complexity: Selected Topics 2 [ Abstract ]	Maciej Koutny [ Homepage ]
17th November, 2003	Computability and Complexity: Selected Topics 1 [ Abstract ]	Maciej Koutny [ Homepage ]
10th November, 2003	Logic Synthesis Avoiding State Space Explosion [ Abstract ]	Victor Khomenko [ Homepage ]
5th November, 2003	Applying Process Algebra and Model-checking to Security Protocols [ Abstract ]	Peter Ryan [ Homepage ]
3rd November, 2003	An Introduction to Coloured Petri Nets [ Abstract ]	Maciej Koutny [ Homepage ]
27th October, 2003	Synthesis of Petri nets from Transition Systems and Application to Construction of Protocols [ Abstract ]	Alex Yakovlev [ Homepage ]
20th October, 2003	Asynchronous Logic and Petri nets, Part 2 [ Abstract ]	Alex Yakovlev [ Homepage ]
13th October, 2003	Asynchronous Logic and Petri nets, Part 1 [ Abstract ]	Alex Yakovlev [ Homepage ]
20th June, 2003	Theoretical Challenges Raised by Information Security [ Abstract ]	Peter Ryan [ Homepage ]
18th June, 2003	A syntax for Petri nets [ Abstract ]	Kamal Lodaya [ Homepage ]
30th May, 2003	The pi-calculus with types: a tool for representation [ Abstract ]	Kohei Honda [ Homepage ]
9th May, 2003	A tutorial on using SAT based techniques to solve hard problems [ Abstract ]	Victor Khomenko [ Homepage ]
2nd May, 2003	Formal investigations of correctness of an Asynchronous Communication Mechanism [ Abstract ]	Neil Henderson [ Homepage ]
28th March, 2003	Testing in the direct mapping synthesis domain	Deepali Koppad
14th March, 2003	Can we Render Asynchrony to our Industry Caesars? Part 2	Alex Yakovlev
28th February, 2003	Can we Render Asynchrony to our Industry Caesars?	Alex Yakovlev
21st February, 2003	Strategic Meeting	Maciej Koutny and Alex Yakovlev
7th February, 2003	Low-Latency Control Structures with Slack	Alex Bystrov
31st January, 2003	Introduction to pi-calculus 3	Maciej Koutny
13th December, 2002	Introduction to pi-calculus 2	Maciej Kounty
6th December, 2002	Introduction to pi-calculus 1	Maciej Koutny
29th November, 2002	Unfoldings of coloured Petri nets	Victor Khomenko
15th November, 2002	Detecting State Coding Conflicts in STGs Using SAT	Victor Khomenko
8th November, 2002	Visualisation and Resolution of Coding Conflicts in Asynchronous Circuits Design	Agnes Madalinski
25th October, 2002	STG Optimisation in the Direct Mapping of Asynchronous Circuits	Danil Sokolov
18th October, 2002	A tight packing scheduling algorithm using closeness tables	Frank Burns
3rd July, 2002	Specifying communications in temporal logic	R. Ramanujam
20th May, 2002	Lock-free data structures	Tim Harris
24th April, 2002	High Level Synthesis Of Asynchronous Digital Systems, Continued...	Susan Tyerman
22nd April, 2002	High Level Synthesis Of Asynchronous Digital Systems	Susan Tyerman
18th March, 2002	Causal Time in Practice	Hanna Klaudel
18th February, 2002	Discussion: translating high level specifications expressed in Balsa into Petri nets	Open
11th February, 2002	Design Flow for Self-Timed Controllers	Alex Yakovlev
4th February, 2002	Detecting State Coding Conflicts in STGs Using Integer Programming	Victor Khomenko
1st January, 2002	Trellis Processes : a Tool for Distributed System Monitoring	Eric Fabre
12th December, 2001	Synthesis of Asynchronous Circuits	Alex Smirnov
5th December, 2001	Compositional Development in the Event of Interface Difference: using FDR2 for automatic verification	Jon Burton
28th November, 2001	Canonical Prefixes of Petri Net Unfoldings	Maciej Koutny
14th November, 2001	Analysis of dynamic behaviour of multi-flops	Oleg Maevsky
7th November, 2001	Parallelisation of the Petri Net Unfolding Algorithm	Victor Khomenko
31st October, 2001	Unfolding-based approach to LTL model-checking	Javier Esparza
24th October, 2001	Incompletely self-timed systems: in search of a 'complete' solution for Giga-LSI?	Alex Yakovlev
17th October, 2001	Direct mapping of asynchronous circuits from STGs	Alex Bystrov
10th October, 2001	Improving the efficiency of constructing unfoldings	Victor Khomenko
29th May, 2001	Modelling and Verification of Broadcast Protocols	David Kendall
15th May, 2001	"foldings" of unfoldings	Discussion
1st May, 2001	Temporal Logic and Compositionality	Ben Moszkowski
1st May, 2001	A tool for visualising state graphs for concurrent systems	Stuart Grey
6th March, 2001	Abstraction Mechanisms in CSP	Jon Burton
6th March, 2001	Modelling Communication Protocols	Neil Henderson
20th February, 2001	Net unfoldings	Discussion Session 2
6th February, 2001	Net unfoldings	Discussion Session 1
12th December, 2000	Experiences with testing VLSI chips	Delong Shang
5th December, 2000	Asynchronous Communication Mechanisms	Fei Xia
28th November, 2000	Identifying CSC conflicts in STGs using unfoldings	Agnes Madalinski
21st November, 2000	CSP and Abstraction Mechanisms	Maciej Koutny
14th November, 2000	Introduction to CSP (continued)	Maciej Koutny
24th October, 2000	Basic ideas behind CSP	Maciej Koutny
17th October, 2000	Synthesis and implementation of an Asynchronous Communication Mechanism	Alex Yakovlev
20th September, 2000	Various talks on Petri Nets, Box Algebra and Time	BAT Workshop
19th May, 2000	Model Checking using Net Unfoldings	Fitto Alamsyah
18th May, 2000	Petri Nets, Box Algebra and Time	BAT Workshop
12th May, 2000	Compositional model of Petri Nets: Part 2	Maciej Koutny
5th May, 2000	Compositional model of Petri Nets: Part 1	Maciej Koutny
31st March, 2000	Petri Net Unfolding	Fitto Alamsyah
24th March, 2000	Verification and Abstraction Mechanisms	Jon Burton
17th March, 2000	Linear programming and Model Checking	Victor Khomenko
10th March, 2000	Behavioural Equivalences	Maciej Koutny
3rd March, 2000	Synthesis of Asynchronous Circuits (Part II)	Alex Yakovlev
25th February, 2000	Synthesis of Asynchronous Circuits (Part I)	Alex Yakovlev
20th January, 2000	Formal Modelling of Asynchronous Hardware	Alex Yakovlev
19th August, 1911	Leading Edge Mobile Media Processors [ Abstract ]	Kelvin Gardiner

Newcastle University

School of Electrical and Electronic Engineering

Asynchronous Systems Labs (ASLs)

Research