Parallel complexity in the design and analysis of concurrent systems

Authors:
Carme Álvarez;José L. Balcázar;Joaquim Gabarró;Miklós Sántha
Affiliations:
-;-;-;-
Venue:
PARLE '91 Proceedings on Parallel architectures and languages Europe : volume I: parallel architectures and algorithms: volume I: parallel architectures and algorithms
Year:
1991

Citing 0
Cited 3

On the origins of bisimulation and coinduction

ACM Transactions on Programming Languages and Systems (TOPLAS)
Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition

Electronic Notes in Theoretical Computer Science (ENTCS)
Controller/Orchestrator Synthesis via Filtration

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract