Pages that link to "Item:Q3453650"
From MaRDI portal
The following pages link to Towards Erlang Verification by Term Rewriting (Q3453650):
Displayed 5 items.
- Declarative debugging of concurrent Erlang programs (Q1994356) (← links)
- A framework for computing finite SLD trees (Q2258840) (← links)
- A core Erlang semantics for declarative debugging (Q2329440) (← links)
- A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell* (Q4988924) (← links)
- Towards Modelling Actor-Based Concurrency in Term Rewriting (Q5240184) (← links)