Linearization in parallel pCRL-Reference-Cited by-同舟云学术

Linearization in parallel pCRL

Published:2001-05 Issue:1-2 Volume:48 Page:39-70
ISSN:1567-8326
Container-title:The Journal of Logic and Algebraic Programming
language:en
Short-container-title:The Journal of Logic and Algebraic Programming

Author:

Groote J.F.,Ponse A.,Usenko Y.S.

Publisher

Elsevier BV

Subject

Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software

Reference33 articles.

1. Decidability of bisimulation equivalence for processes generating context-free languages;Baeten;Journal of the ACM,1993

2. Process Algebra, Cambridge Tracts in Theoretical Computer Science, vol. 18;Baeten,1990

3. Algebraic solutions to recursion schemes;Benson;Journal of Computer and System Sciences,1987

4. Process algebra for synchronous communication;Bergstra;Information and Computation,1984

5. J.A.Bergstra,J.W.Klop,Acompleteinferencesystemforregularprocesseswithsilentmoves,in:F.R.Drake,J.K.Truss(Eds.),ProceedingsLogicColloquiumHull1986,North-Holland,Amsterdam1988,pp. 21–81. First appeared as: Report CS-R8420, CWI, Amsterdam, 1984

Cited by 25 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Case in Point: Verification and Testing of a EULYNX Interface;Formal Aspects of Computing;2023-03-16

2. Software Architecture of Modern Model Checkers;Lecture Notes in Computer Science;2019

3. Revisiting sequential composition in process calculi;Journal of Logical and Algebraic Methods in Programming;2015-11

4. History-Based Verification of Functional Behaviour of Concurrent Programs;Software Engineering and Formal Methods;2015

5. An Overview of the mCRL2 Toolset and Its Recent Advances;Tools and Algorithms for the Construction and Analysis of Systems;2013