Jan Friso Groote - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged process algebra

Process Algebra with Local CommunicationMuck van Weerdenburg. ENTCS, 215:191-208, 2008. [doi]

An Axiomatic Characterization of Algebras of Processes of Petri NetsJózef Winkowski. FUIN, 72(1-3):407-420, 2006. [doi]

Reversing Algebraic Process Calculifossacs 2006: 246-260 [doi]

Processes Distribution of Homogeneous Parallel Linear Algebra Routines on Heterogeneous ClustersJavier Cuenca, Luis-Pedro García, Domingo Giménez, Jack Dongarra. cluster 2005: 1-10 [doi]

An Integration Scheme for CPN and Process Algebra Applied to a Manufacturing Industry CaseManuel I. Capel, Juan Antonio Holgado Terriza, Agustín Escámez. vveis 2005: 39-48

Process Algebra Needs Proof Methodology (Columns: Concurrency)Wan Fokkink, Jan Friso Groote, Michel A. Reniers. eatcs, 82:109-125, 2004. [doi]

Algebraic theory of probabilistic and nondeterministic processesDiego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo, Juan José Pardo. jlp, 55(1-2):57-103, 2003. [doi]

Generic Efficient Arithmetic Algorithms for PAFFs (Processor Adequate Finite Fields) and Related Algebraic Structures (Extended Abstract)Roberto Maria Avanzi, Preda Mihailescu. sacrypt 2004: 320-334 [doi]

Computer assisted manipulation of algebraic process specificationsJan Friso Groote, Bert Lisser. SIGPLAN, 37(12):98-107, 2002. [doi]

Process Algebra with Nonstandard TimingKees Middelburg. FUIN, 53(1):55-77, 2002. [doi]

Process Algebras for Network CommunicationDamas P. Gruska, Andrea Maggiolo-Schettini. FUIN, 45(4):359-378, 2001.

Liveness and Fairness in Process-Algebraic VerificationAntti Puhakka, Antti Valmari. concur 2001: 202-217 [doi]

Towards a Process Algebra for Shared ProcessorsMikael Buchholtz, Jacob Andersen, Hans Henrik Løvengreen. ENTCS, 52(3):275-294, 2001. [doi]

Quantifying the Dynamic Behavior of Process AlgebrasPeter Buchholz, Peter Kemper. papm 2001: 184-199 [doi]

A Process Algebra for Real-Time ProgramsHenning Dierks. FASE 2000: 66-81 [doi]

Comparison of Process Algebra Equivalences Using FormatsVashti Galpin. icalp 1999: 341-350 [doi]

Hardness results for weak bisimilarity of simple process algebrasJitka Stríbrná. ENTCS, 18:179-190, 1998. [doi]

How to Combine Z with Process AlgebraClemens Fischer. zum 1998: 5-23

Formal Verification of a Leader Election Protocol in Process AlgebraLars-Åke Fredlund, Jan Friso Groote, Henri Korver. TCS, 177(2):459-486, 1997. [doi]

Formalizing Process Algebraic Verifications in the Calculus of ConstructionsMarc Bezem, Roland N. Bol, Jan Friso Groote. fac, 9(1):1-48, 1997.

Axiomatizations for the Perpetual Loop in Process AlgebraWan Fokkink. icalp 1997: 571-581

Algebra of Communicating Processes - Preface to the Special IssueAlban Ponse, Chris Verhoef, Bas van Vlijmen. TCS, 177(2):285-286, 1997. [doi]

A General Conservative Extension Theorem in Process Algebras with InequalitiesPedro R. D Argenio, Chris Verhoef. TCS, 177(2):351-380, 1997. [doi]

Qualitative Reasoning and a Circular Information Processing AlgebraFranjo Jovic. informaticaSI, 21(1), 1997.

Process Algebra with Language MatchingJos van Wamel. TCS, 177(2):425-458, 1997. [doi]

Proof Systems for Message-Passing Process AlgebrasMatthew Hennessy, H. Lin. fac, 8(4):379-407, 1996.

Axiomatizing the Algebra of Net Computations and ProcessesPierpaolo Degano, José Meseguer, Ugo Montanari. ACTA, 33(7):641-667, 1996.

Process Algebra for Shared RessourcesDamas P. Gruska. parcella 1996: 300-301

Probabilistic Branching in Markovian Process AlgebrasMichael Rettelbach. cj, 38(7):590-599, 1995.

Undecidable Equivalences for Basic Process AlgebraJan Friso Groote, Hans Hüttel. iandc, 115(2):354-371, December 1994.

Process Algebra with Guards: Combining Hoare Logic with Process AlgebraJan Friso Groote, Alban Ponse. fac, 6(2):115-164, 1994.

Invariants in Process Algebra with DataMarc Bezem, Jan Friso Groote. concur 1994: 401-416

A General Conservative Extension Theorem in Process AlgebraChris Verhoef. procomet 1994: 149-168

Notes on P-Algebra 1: Process StructureKohei Honda. tppp 1995: 25-44

NAPAW 92, Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 Agust 1992S. Purushothaman, Amy E. Zwarico, editors, Workshops in Computing, Springer, 1993.

Structured Operational Sematics for Process Algebras and Equational Axiom SystemsBard Bloom. concur 1993: 539-540

Process Algebra with Guards - Combining Hoare Logic with Process Algebra (Extended Abstract)Jan Friso Groote, Alban Ponse. concur 1991: 235-249

Implementing a Real-Time Process Algebra in HOLRichard Gerber, Elsa L. Gunter, Insup Lee. tphol 1992: 144-154

PAM: A Process Algebra ManipulatorHuimin Lin. cav 1992: 136-146

A New Strategy for Proving omega-Completeness applied to Process AlgebraJan Friso Groote. concur 1990: 314-331

Fixed Points in Free Process Algebras, Part IDavid B. Benson, Jerzy Tiuryn. TCS, 63(3):275-294, 1989.

Bounded Nondeterminism and the Approximation Induction Principle in Process AlgebraRob J. van Glabbeek. STACS 1987: 336-347

An Algebra of ProcessesJózef Winkowski, Andrea Maggiolo-Schettini. jcss, 35(2):206-228, 1987.

Petri nets and algebraic calculi of processesGérard Boudol, Gérard Roucairol, Robert de Simone. apn 1986: 41-58

Petri Nets and Algebraic Calculi of ProcessesGérard Boudol, Gérard Roucairol, Robert de Simone. STACS 1985: 59-70

Fixed Ponts in Process Algebras with Internal Actions ( a preliminary note)David B. Benson, Jerzy Tiuryn. mfps 1986: 53-58

Algebraic Properties of some Parallel Processor Interconnection NetworksSudhakar Yalamanchili, Jake K. Aggarwal. icde 1984: 611-618 [doi]

First Steps to Algebraic Processing of TextT. H. Merrett. icod 1983: 109-127

Port Automata and the Algebra of Concurrent ProcessesMartha Steenstrup, Michael A. Arbib, Ernest G. Manes. jcss, 27(1):29-50, 1983.

On Algebraic Query Processing in Logical DatabasesTomasz Imielinski. adbt 1982: 285-318

runs on WebDSL