جریان داده

در ابتدای روش، هیچ متغیر محلی به طور قطعی تخصیص داده نمی‌شود. تأیید کننده به طور مکرر روی درخت نحو انتزاعی مرور می‌کند و از معادلات جریان داده برای انتقال اطلاعات بین مجموعه‌ها استفاده می‌کند تا به یک نقطه ثابت برسد. سپس، تأییدکننده مجموعه‌ی «قبل»، از هر عبارتی که از متغیر محلی استفاده می‌کند، بررسی می‌کند تا مطمئن شود که حاوی آن متغیر است.

تفاوت اصلی بین کانال مخابراتی ارتباط موازی و سریال در تعداد رساناهای الکتریکی است که در لایه فیزیکی برای انتقال بیت استفاده می‌شود. ارتباط موازی به این معنی است که بیش از یک رسانا به کار رفته‌است. به عنوان مثال، یک کانال ارتباط موازی ۸ بیتی به‌طور همزمان ۸ بیت (یا یک بایت) را انتقال می‌دهد، در حالی که یک کانال ارتباط سریال این بیت‌ها را به صورت پیوسته، یک بیت-یک بیت در واحد زمان انتقال می‌دهد. اگر هر دو کانال در یک سرعت ریزپردازنده کار کنند، کانال ارتباط موازی ۸ برابر سریع‌تر خواهد بود. یک کانال ارتباط موازی ممکن است دارای رساناهای اضافی برای سایر سیگنال‌ها باشد، مانند یک سیگنال ساعت برای سرعت جریان داده، یک سیگنال جهت کنترل جریان داده‌ها و سیگنالی برای سیگنال‌های دست‌دهی.

این پروتکل به‌طور گسترده‌ای در سیستم‌های مخابراتی و سرگرمی که شامل جریان داده هستند از جمله ویدئو کنفرانس و … استفاده می‌شود.