Showing
1 - 12
results of
12
Skip to content
VuFind
Log in
Library Catalogue Plus
Library
Subject guides
Databases
Referencing
Catalogue
Articles Plus
Keyword
Title
Author
Subject
Find
Advanced Search
Search Results - BAETEN, JOS C. M.
Search Results - BAETEN, JOS C. M.
Showing
1 - 12
results of
12
Refine Results
Sort
Relevance
Date Descending
Author
Title
1
Loading…
Expressiveness modulo bisimilarity of regular expressions with parallel composition
by
BAETEN, JOS C. M.
,
LUTTIK, BAS
,
MULLER, TIM
,
VAN TILBURG, PAUL
Published in
Mathematical structures in computer science
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
2
Loading…
Pushdown Automata and Context-Free Grammars in Bisimulation Semantics
by
Baeten, Jos C. M.
,
Carissimo, Cesare
,
Luttik, Bas
Published in
Logical methods in computer science
Get full text
Items that cite this one
Article
Save to List
Saved in:
3
Loading…
Unguardedness mostly means many solutions
by
Baeten, Jos C.M.
,
Luttik, Bas
Published in
Theoretical computer science
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
4
Loading…
Parallel Pushdown Automata and Commutative Context-Free Grammars in Bisimulation Semantics (Extended Abstract)
by
Baeten, Jos C. M.
,
Luttik, Bas
Get full text
Items that this one cites
Conference Proceeding
Save to List
Saved in:
5
Loading…
A ground-complete axiomatisation of finite-state processes in a generic process algebra
by
BAETEN, JOS C. M.
,
BRAVETTI, MARIO
Published in
Mathematical structures in computer science
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
6
Loading…
Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract)
by
Baeten, Jos C. M.
,
Luttik, Bas
,
Muller, Tim
,
van Tilburg, Paul
Published in
Electronic proceedings in theoretical computer science
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
7
Loading…
Reactive Turing machines
by
Baeten, Jos C.M.
,
Luttik, Bas
,
van Tilburg, Paul
Published in
Information and computation
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
8
Loading…
Six issues concerning future directions in concurrency research
by
Baeten, Jos C. M.
,
Bergstra, Jan A.
Published in
ACM computing surveys
Get full text
Items that cite this one
Article
Save to List
Saved in:
9
Loading…
Expressiveness in concurrency
by
BAETEN, Jos C. M
,
PHILLIPS, Iain C. C
Get full text
Conference Proceeding
Save to List
Saved in:
10
Loading…
Automata, languages and programming (ICALP 2003)
by
BAETEN, Jos C. M
,
LENSTRA, Jan Karel
,
WOEGINGER, Gerhard J
Get full text
Conference Proceeding
Save to List
Saved in:
11
Loading…
A Generic Process Algebra
by
Baeten, Jos C.M.
,
Bravetti, Mario
Published in
Electronic notes in theoretical computer science
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
12
Loading…
AN ALGEBRA FOR PROCESS CREATION
by
BAETEN, JCM
,
VAANDRAGER, FW
Published in
Acta informatica
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
Search Tools:
RSS Feed
Email Search
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Limit To
Peer Reviewed
9 results
9
Full Text
12 results
12
Format
Articles
9 results
9
Conference Proceedings
3 results
3
Journal Title
Mathematical Structures In Computer Science
2 results
2
Acm Computing Surveys
1 results
1
Acta Informatica
1 results
1
Electronic Notes In Theoretical Computer Science
1 results
1
Electronic Proceedings In Theoretical Computer Science
1 results
1
Electronic Proceedings In Theoretical Computer Science, Eptcs
1 results
1
Information And Computation
1 results
1
Logical Methods In Computer Science
1 results
1
Theoretical Computer Science
1 results
1
Subjects
Computer Science
8 results
8
Science & Technology
8 results
8
Technology
8 results
8
Computer Science, Theory & Methods
7 results
7
Applied Sciences
4 results
4
Computer Science; Control Theory; Systems
4 results
4
Exact Sciences And Technology
4 results
4
Miscellaneous
3 results
3
Theoretical Computing
3 results
3
Algebra
2 results
2
Mathematical Analysis
2 results
2
Mathematical Models
2 results
2
Mathematics
2 results
2
Process Algebra
2 results
2
Software
2 results
2
Acp
1 results
1
Algorithmics. Computability. Computer Arithmetics
1 results
1
Automata Theory
1 results
1
Binary Stars
1 results
1
Bisimilarity
1 results
1
Year of Publication
From:
To:
Source
Ezb Free E-Journals
8 results
8
Science Citation Index Expanded (Web Of Science)
6 results
6
Bacon - Elsevier - Global Sciencedirect-Openaccess
5 results
5
Sciencedirect
5 results
5
Sciencedirect Freedom Collection
4 results
4
Road: Directory Of Open Access Scholarly Resources
4 results
4
Doaj Directory Of Open Access Journals
3 results
3
Cambridge University Press:jisc Collections:full Collection Digital Archives (Stm And Hss) (218 Titles)
2 results
2
Cambridge University Press
2 results
2
Cambridge Journals Digital Archive: All To End 2021 Full Collection
2 results
2
Acm Digital Library
1 results
1
Ebscohost Business Source Ultimate
1 results
1
Association For Computing Machinery:jisc Collections:acm Open Journals 2023-2025 (Reading List)
1 results
1
Springer Link
1 results
1
Science Journals (Open Access)
1 results
1
Abi/Inform Global
1 results
1
Springer Online Journal Archives (Through 1996)
1 results
1
Springerlink Contemporary
1 results
1