# Yuxi Fu

According to our database

^{1}, Yuxi Fu## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2016

Theory of interaction.

Theor. Comput. Sci., 2016

Place Bisimulation and Liveness for Open Petri Nets.

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

2015

Preface.

Mathematical Structures in Computer Science, 2015

Non-deterministic structures of computation.

Mathematical Structures in Computer Science, 2015

The Name-Passing Calculus.

CoRR, 2015

2014

Branching Bisimilarity Checking for PRS.

CoRR, 2014

Dividing Line between Decidable PDA's and Undecidable Ones.

CoRR, 2014

Branching Bisimilarity Checking for PRS.

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

2013

How faithfully can π be interpreted in SA?

SCIENCE CHINA Information Sciences, 2013

Checking Equality and Regularity for Normed BPA with Silent Moves.

Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013

The Value-Passing Calculus.

Proceedings of the Theories of Programming and Formal Methods, 2013

2011

The λ-calculus in the π-calculus.

Mathematical Structures in Computer Science, 2011

Decidability of Behavioral Equivalences in Process Calculi with Name Scoping.

Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

2010

On the expressiveness of interaction.

Theor. Comput. Sci., 2010

Theory by Process.

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2007

Barbed Congruence of Asymmetry and Mismatch.

J. Comput. Sci. Technol., 2007

A general approach for building combinational P automata.

Int. J. Comput. Math., 2007

A Model in kappa for DNA Addition.

Electr. Notes Theor. Comput. Sci., 2007

Fair ambients.

Acta Inf., 2007

2006

Bisimulation Congruence for Asymmetric chi ^ e -Calculus.

Proceedings of the 5th International Symposium on Parallel and Distributed Computing (ISPDC 2006), 2006

Secrecy of Signals by Typing in Signal Transduction.

Proceedings of the Advances in Natural Computation, Second International Conference, 2006

2005

On quasi-open bisimulation.

Theor. Comput. Sci., 2005

A schematic axiom for open congruence.

Science in China Series F: Information Sciences, 2005

A Simple Process Calculus for the analysis of Security Protocols.

Proceedings of the Sixth International Conference on Parallel and Distributed Computing, 2005

A Generic Model for Analyzing Security Protocols.

Proceedings of the Computer Network Security, 2005

Typing Aberrance in Signal Transduction.

Proceedings of the Advances in Natural Computation, First International Conference, 2005

An Implementation for Mapping SBML to BioSPI.

Proceedings of the Fuzzy Systems and Knowledge Discovery, Second International Conference, 2005

A Generic Model for Symbolic Analyzing Security Protocols.

Proceedings of the Fifth International Conference on Computer and Information Technology (CIT 2005), 2005

2004

Representation of the Signal Transduction with Aberrance Using Ipi Calculus.

Proceedings of the Computational and Information Science, First International Symposium, 2004

Analyzing iKP Security in Applied Pi Calculus.

Proceedings of the Computational and Information Science, First International Symposium, 2004

Formalizing the Environment View of Process Equivalence.

Proceedings of the Computational and Information Science, First International Symposium, 2004

2003

Tau laws for pi calculus.

Theor. Comput. Sci., 2003

Understanding the mismatch combinator in chi calculus.

Theor. Comput. Sci., 2003

Bisimulation congruence of chi calculus.

Inf. Comput., 2003

Observing Asymmetry and Mismatch.

Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003

2002

Testing Congruence for Mobile Processes.

J. Comput. Sci. Technol., 2002

On Quasi-Open Bisimulation.

Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

2001

Semantics of Constructions (II) - The Initial Algebraic Approach.

J. Comput. Sci. Technol., 2001

Semantics of Constructions (I) - The Traditional Approach.

J. Comput. Sci. Technol., 2001

A functional presentation of Pi calculus.

Science in China Series F: Information Sciences, 2001

2000

The Ground Congruence for Chi Calculus.

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 2000

Chi Calculus with Mismatch.

Proceedings of the CONCUR 2000, 2000

1999

Variations on Mobile Processes.

Theor. Comput. Sci., 1999

Relative properties of frame language.

J. Comput. Sci. Technol., 1999

Open Bisimulations on Chi Processes.

Proceedings of the CONCUR '99: Concurrency Theory, 1999

1998

Structures definable in polymorphism.

J. Comput. Sci. Technol., 1998

Reaction graph.

J. Comput. Sci. Technol., 1998

Symmetric π-calculus.

J. Comput. Sci. Technol., 1998

Bisimulation Lattice of Chi Processes.

Proceedings of the Advances in Computing Science, 1998

1997

Categorical Properties of Logical Frameworks.

Mathematical Structures in Computer Science, 1997

Constructive sets in computable sets.

J. Comput. Sci. Technol., 1997

A Proof Theoretical Approach to Communication.

Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997

The x-Calculus.

Proceedings of the 1997 Advances in Parallel and Distributed Computing Conference (APDC '97), 1997

1996

Recursive Models of General Inductive Types.

Fundam. Inform., 1996